     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)
     ;

     
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 ;

    [ XQueryPointer drop ] with-out-parameters
    [ 4 ndrop ] 3dip ;

M: gtk-game-input-backend read-mouse
    query-pointer
    mouse-state new
    swap 256 /i >>buttons
