steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.backend.gtk: fix (grab-input) and (ungrab-input)

db4
Anton Gorenko 2010-06-08 13:21:45 +06:00
parent e174b7a070
commit 66f5c2695f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
basis/ui/backend/gtk/gtk.factor
View File

@ -411,12 +411,12 @@ M: gtk-ui-backend raise-window*
] with-destructors ; ] with-destructors ;
M: gtk-ui-backend (grab-input) M: gtk-ui-backend (grab-input)
handle>> window>> window>>
[ gtk_grab_add ] [ GDK_BLANK_CURSOR set-cursor ] bi ; [ gtk_grab_add ] [ GDK_BLANK_CURSOR set-cursor ] bi ;
M: gtk-ui-backend (ungrab-input) M: gtk-ui-backend (ungrab-input)
handle>> window>> window>>
[ gtk_grab_remove ] [ GDK_ARROW set-cursor ] bi ; [ gtk_grab_remove ] [ GDK_LEFT_PTR set-cursor ] bi ;
M: window-handle select-gl-context ( handle -- ) M: window-handle select-gl-context ( handle -- )
window>> window>>