ui.gadgets.tracks: rewrite track-remove
parent
57dfbf6d10
commit
fd7f3423ed
|
@ -52,12 +52,14 @@ M: track pref-dim* ( gadget -- dim )
|
|||
: track-add* ( track gadget constraint -- track )
|
||||
pick sizes>> push add-gadget ;
|
||||
|
||||
: track-remove ( gadget track -- )
|
||||
over [
|
||||
[ gadget-children index ] 2keep
|
||||
swap unparent track-sizes delete-nth
|
||||
] [
|
||||
2drop
|
||||
] if ;
|
||||
: track-remove ( track gadget -- track )
|
||||
dupd dup
|
||||
[
|
||||
[ swap children>> index ]
|
||||
[ unparent sizes>> ] 2bi
|
||||
delete-nth
|
||||
]
|
||||
[ 2drop ]
|
||||
if ;
|
||||
|
||||
: clear-track ( track -- ) V{ } clone >>sizes clear-gadget ;
|
||||
|
|
|
@ -57,9 +57,9 @@ M: gadget tool-scroller drop f ;
|
|||
article-title open-window ;
|
||||
|
||||
: hide-popup ( workspace -- )
|
||||
dup workspace-popup over track-remove
|
||||
f over set-workspace-popup
|
||||
request-focus ;
|
||||
dup popup>> track-remove
|
||||
f >>popup
|
||||
request-focus ;
|
||||
|
||||
: show-popup ( gadget workspace -- )
|
||||
dup hide-popup
|
||||
|
|
Loading…
Reference in New Issue