game.input.gtk: clean up confusing reset-mouse/read-mouse interaction

diff --git a/basis/game/input/gtk/gtk.factor b/basis/game/input/gtk/gtk.factor
index 9eac60022a65baa455340503dd6d1b45cbcf0f27..57db116c977821d4606e5427cdf176fb8f19d754 100644 (file)
--- a/basis/game/input/gtk/gtk.factor
+++ b/basis/game/input/gtk/gtk.factor
@@ -16,7 +16,7 @@ FUNCTION: Display* gdk_x11_display_get_xdisplay ( GdkDisplay* display ) ;
     gdk_display_get_default gdk_x11_display_get_xdisplay ;
 
 M: gtk-game-input-backend (open-game-input)
-    ;
+    reset-mouse ;
 
 M: gtk-game-input-backend (close-game-input)
     ;
@@ -98,10 +98,7 @@ M: gtk-game-input-backend read-keyboard
     [ XQueryPointer drop ] with-out-parameters
     [ 4 ndrop ] 3dip ;
 
-SYMBOL: mouse-reset?
-     
 M: gtk-game-input-backend read-mouse
-    mouse-reset? get [ reset-mouse ] unless
     query-pointer
     mouse-state new
     swap 256 /i >>buttons
@@ -111,4 +108,4 @@ M: gtk-game-input-backend read-mouse
      
 M: gtk-game-input-backend reset-mouse
     get-dpy dup XDefaultRootWindow dup
-    0 0 0 0 400 400 XWarpPointer drop t mouse-reset? set-global ;
+    0 0 0 0 400 400 XWarpPointer drop ;