ui.tools: Fix restart.
parent
daca323523
commit
60cb462826
|
@ -22,7 +22,7 @@ M: restart-renderer row-columns
|
||||||
|
|
||||||
: <restart-list> ( debugger -- gadget )
|
: <restart-list> ( debugger -- gadget )
|
||||||
dup restarts>> f prefix <model> restart-renderer <table>
|
dup restarts>> f prefix <model> restart-renderer <table>
|
||||||
[ [ \ restart invoke-command ] when* ] >>action
|
[ [ \ continue-restart invoke-command ] when* ] >>action
|
||||||
swap restart-hook>> >>hook
|
swap restart-hook>> >>hook
|
||||||
t >>selection-required?
|
t >>selection-required?
|
||||||
t >>single-click? ; inline
|
t >>single-click? ; inline
|
||||||
|
|
|
@ -46,7 +46,7 @@ IN: ui.tools.operations
|
||||||
} define-operation
|
} define-operation
|
||||||
|
|
||||||
! Restart
|
! Restart
|
||||||
[ restart? ] \ restart H{
|
[ restart? ] \ continue-restart H{
|
||||||
{ +primary+ t }
|
{ +primary+ t }
|
||||||
{ +secondary+ t }
|
{ +secondary+ t }
|
||||||
{ +listener+ t }
|
{ +listener+ t }
|
||||||
|
|
Loading…
Reference in New Issue