ui.tools.workspace: minor changes
parent
7c0fe0cf05
commit
2abc7c329b
|
@ -6,20 +6,18 @@ ui.gadgets.books ui.gadgets.buttons ui.gadgets.labelled
|
|||
ui.gadgets.panes ui.gadgets.scrollers ui.gadgets.tracks
|
||||
ui.gadgets.worlds ui.gadgets.presentations ui.gadgets.status-bar
|
||||
ui.commands ui.gestures assocs arrays namespaces accessors ;
|
||||
|
||||
IN: ui.tools.workspace
|
||||
|
||||
TUPLE: workspace < track book listener popup ;
|
||||
|
||||
: find-workspace ( gadget -- workspace )
|
||||
[ workspace? ] find-parent ;
|
||||
: find-workspace ( gadget -- workspace ) [ workspace? ] find-parent ;
|
||||
|
||||
SYMBOL: workspace-window-hook
|
||||
|
||||
: workspace-window* ( -- workspace )
|
||||
workspace-window-hook get call ;
|
||||
: workspace-window* ( -- workspace ) workspace-window-hook get call ;
|
||||
|
||||
: workspace-window ( -- )
|
||||
workspace-window* drop ;
|
||||
: workspace-window ( -- ) workspace-window* drop ;
|
||||
|
||||
GENERIC: call-tool* ( arg tool -- )
|
||||
|
||||
|
|
Loading…
Reference in New Issue