Attempt to implement mouse enter/leave handling in X11 (untested)

TODO.FACTOR.txt

@@ -6,6 +6,7 @@
 
 - x11 title bars are funny
 - x11 mouse enter/leave events: update rollover
+- x11: when starting with restored windows, caret invisible
 + httpd:
   - outliners don't work
   - browser responder doesn't work

library/ui/gestures.factor

@@ -92,6 +92,13 @@ V{ } clone hand-buttons set-global
     fire-motion
     T{ mouse-enter } swap each-gesture ;
 
+: forget-rollover ( -- )
+    #! After we restore the UI, send mouse leave events to all
+    #! gadgets that were under the mouse at the time of the
+    #! save, since the mouse is in a different location now.
+    f hand-gadget [ get-global ] 2keep set-global
+    parents hand-gestures ;
+
 : focus-gestures ( new old -- )
     drop-prefix <reversed>
     T{ lose-focus } swap each-gesture

library/ui/ui.factor

@@ -83,18 +83,11 @@ C: titled-gadget ( gadget title -- )
 : open-titled-window ( gadget title -- )
     <titled-gadget> open-window ;
 
-: fix-rollover ( -- )
-    #! After we restore the UI, send mouse leave events to all
-    #! gadgets that were under the mouse at the time of the
-    #! save, since the mouse is in a different location now.
-    f hand-gadget [ get-global ] 2keep set-global
-    parents hand-gestures ;
-
 : restore-windows ( -- )
     windows get [ second ] map
     0 windows get set-length
     [ dup reset-world open-window* ] each
-    fix-rollover ;
+    forget-rollover ;
 
 : restore-windows? ( -- ? )
     windows get [ empty? not ] [ f ] if* ;

library/ui/x11/events.factor

@@ -12,6 +12,10 @@ GENERIC: button-down-event ( event window -- )
 
 GENERIC: button-up-event ( event window -- )
 
+GENERIC: enter-event ( event window -- )
+
+GENERIC: leave-event ( event window -- )
+
 GENERIC: wheel-event ( event window -- )
 
 GENERIC: motion-event ( event window -- )
@@ -52,6 +56,8 @@ GENERIC: client-event ( event window -- )
         { [ dup ConfigureNotify = ] [ drop configure-event ] }
         { [ dup ButtonPress = ] [ drop button-down-event$ ] }
         { [ dup ButtonRelease = ] [ drop button-up-event$ ] }
+        { [ dup EnterNotify = ] [ drop enter-event ] }
+        { [ dup LeaveNotify = ] [ drop leave-event ] }
         { [ dup MotionNotify = ] [ drop motion-event ] }
         { [ dup KeyPress = ] [ drop key-down-event ] }
         { [ dup KeyRelease = ] [ drop key-up-event ] }

library/ui/x11/ui.factor

@@ -37,6 +37,10 @@ M: world button-up-event ( event world -- )
 M: world wheel-event ( event world -- )
     >r button&loc >r 4 = r> r> send-wheel ;
 
+M: world enter-event ( event world -- ) motion-event ;
+
+M: world leave-event ( event world -- ) 2drop forget-rollover ;
+
 M: world motion-event ( event world -- )
     >r dup XMotionEvent-x swap XMotionEvent-y 0 3array r>
     move-hand ;