ui.tools.workspace: rewrite show-popup
parent
2abc7c329b
commit
c3dd210079
|
@ -60,10 +60,10 @@ M: gadget tool-scroller drop f ;
|
||||||
request-focus ;
|
request-focus ;
|
||||||
|
|
||||||
: show-popup ( gadget workspace -- )
|
: show-popup ( gadget workspace -- )
|
||||||
dup hide-popup
|
dup hide-popup
|
||||||
2dup set-workspace-popup
|
over >>popup
|
||||||
dupd f track-add
|
over f track-add* drop
|
||||||
request-focus ;
|
request-focus ;
|
||||||
|
|
||||||
: show-titled-popup ( workspace gadget title -- )
|
: show-titled-popup ( workspace gadget title -- )
|
||||||
[ find-workspace hide-popup ] <closable-gadget>
|
[ find-workspace hide-popup ] <closable-gadget>
|
||||||
|
|
Loading…
Reference in New Issue