ui.backend.gtk: fix incorrect resizing of windows
parent
e5b07f5f29
commit
33996ca1d6
|
@ -200,7 +200,7 @@ CONSTANT: action-key-codes
|
||||||
: on-configure ( sender event user-data -- result )
|
: on-configure ( sender event user-data -- result )
|
||||||
drop [ window ] dip GdkEventConfigure memory>struct
|
drop [ window ] dip GdkEventConfigure memory>struct
|
||||||
[ event-loc >>window-loc ] [ event-dim >>dim ] bi
|
[ event-loc >>window-loc ] [ event-dim >>dim ] bi
|
||||||
relayout-1 t ;
|
relayout-1 f ;
|
||||||
|
|
||||||
: on-delete ( sender event user-data -- result )
|
: on-delete ( sender event user-data -- result )
|
||||||
2drop window ungraft t ;
|
2drop window ungraft t ;
|
||||||
|
|
Loading…
Reference in New Issue