Improve C+p
parent
16e7efc481
commit
7937770516
|
@ -170,13 +170,8 @@ C: history-search ( string seq -- gadget )
|
||||||
: listener-history ( listener -- seq )
|
: listener-history ( listener -- seq )
|
||||||
listener-gadget-input interactor-history <reversed> ;
|
listener-gadget-input interactor-history <reversed> ;
|
||||||
|
|
||||||
: history-action ( string -- )
|
|
||||||
find-listener listener-gadget-input set-editor-text ;
|
|
||||||
|
|
||||||
: show-history ( workspace -- )
|
: show-history ( workspace -- )
|
||||||
dup workspace-listener
|
"" over workspace-listener listener-history <history-search>
|
||||||
[ listener-gadget-input editor-text ] keep listener-history
|
|
||||||
<history-search>
|
|
||||||
"History search" show-titled-popup ;
|
"History search" show-titled-popup ;
|
||||||
|
|
||||||
workspace "toolbar" {
|
workspace "toolbar" {
|
||||||
|
|
Loading…
Reference in New Issue