ui.gadgets: Stale gestures can lose the associated gadget.

The gesture queue can send messages where the
focusable-child has disappeared.

Handle ``M: f focusable-child*`` by doing nothing.

Fixes #2117.

diff --git a/basis/ui/gadgets/gadgets.factor b/basis/ui/gadgets/gadgets.factor
index 6338c917cb9f88fe2dfec7a522e264d7ad693005..2a81f56718f6bec85dce2d9b3ab3ce1438417e01 100644 (file)
--- a/basis/ui/gadgets/gadgets.factor
+++ b/basis/ui/gadgets/gadgets.factor
@@ -385,6 +385,8 @@ GENERIC: focusable-child* ( gadget -- child/t )
 
 M: gadget focusable-child* drop t ;
 
+M: f focusable-child* drop f ;
+
 : focusable-child ( gadget -- child )
     dup focusable-child*
     dup t eq? [ drop ] [ nip focusable-child ] if ;