ui.gadgets.worlds: dispose of the handle after ungrabbing input

db4
Slava Pestov 2010-07-17 16:08:36 -04:00
parent e2ceb11337
commit 88ca7abd54
2 changed files with 5 additions and 8 deletions

View File

@ -129,6 +129,7 @@ M: world request-focus-on ( child gadget -- )
[ T{ rgba f 1.0 1.0 1.0 1.0 } ] if ;
GENERIC# apply-world-attributes 1 ( world attributes -- world )
M: world apply-world-attributes
{
[ title>> >>title ]
@ -166,15 +167,11 @@ flush-layout-cache-hook [ [ ] ] initialize
GENERIC: begin-world ( world -- )
GENERIC: end-world ( world -- )
GENERIC: resize-world ( world -- )
M: world begin-world
drop ;
M: world end-world
drop ;
M: world resize-world
drop ;
M: world begin-world drop ;
M: world end-world drop ;
M: world resize-world drop ;
M: world dim<<
[ call-next-method ]

View File

@ -90,8 +90,8 @@ M: world ungraft*
[ hand-gadget close-global ]
[ end-world ]
[ [ <reversed> [ [ dispose ] when* ] each V{ } clone ] change-window-resources drop ]
[ [ (close-window) f ] change-handle drop ]
[ unfocus-world ]
[ [ (close-window) f ] change-handle drop ]
[ promise>> t swap fulfill ]
} cleave ;