ui.backend.gtk: don't let input-methods steal key-presses.

master
John Benediktsson 2020-06-06 16:09:15 -07:00
parent 9c3908e003
commit a9ad206edc
1 changed files with 4 additions and 4 deletions

View File

@ -163,13 +163,13 @@ CONSTANT: events-mask
] tri ; ] tri ;
: on-key-press/release ( win event user-data -- ? ) : on-key-press/release ( win event user-data -- ? )
drop swap [ key-event>gesture ] [ window ] bi* propagate-key-gesture t ; drop swap [ key-event>gesture ] [ window ] bi* propagate-key-gesture f ;
: on-focus-in ( win event user-data -- ? ) : on-focus-in ( win event user-data -- ? )
2drop window focus-world t ; 2drop window focus-world f ;
: on-focus-out ( win event user-data -- ? ) : on-focus-out ( win event user-data -- ? )
2drop window unfocus-world t ; 2drop window unfocus-world f ;
CONSTANT: default-icon-path "resource:misc/icons/Factor_128x128.png" CONSTANT: default-icon-path "resource:misc/icons/Factor_128x128.png"
@ -439,9 +439,9 @@ M:: gtk-ui-backend (open-window) ( world -- )
win gtk_widget_realize win gtk_widget_realize
! And this must be done after and in this order due to #1307 ! And this must be done after and in this order due to #1307
win im configure-im
win connect-user-input-signals win connect-user-input-signals
win connect-win-state-signals win connect-win-state-signals
win im configure-im
world handle>> connect-configure-signal world handle>> connect-configure-signal
drawable connect-expose-sigal drawable connect-expose-sigal