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.
flac
Doug Coleman 2020-03-06 19:05:27 -06:00 committed by Steve Ayerhart
parent 41ff579608
commit d862f6c65b
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
1 changed files with 2 additions and 0 deletions

View File

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