steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix listener history

slava 2006-10-10 00:00:05 +00:00
parent 787be12e8a
commit 02eeedf508
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
library/ui/tools/listener.factor
View File

@ -133,18 +133,20 @@ M: listener-gadget tool-help
<vocabs-search> "Vocabulary search" <labelled-gadget> <vocabs-search> "Vocabulary search" <labelled-gadget>
swap show-minibuffer ; swap show-minibuffer ;
: show-list ( seq presenter action listener -- )
>r minibuffer-action <list> <scroller> r> show-minibuffer ;
: 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 ;
: <history-gadget> ( listener -- gadget )
listener-history <model>
[ [ dup print-input ] make-pane ]
[ history-action ] minibuffer-action
<list> <scroller> "History" <labelled-gadget> ;
: show-history ( listener -- ) : show-history ( listener -- )
[ [ <history-gadget> ] keep show-minibuffer ;
listener-gadget-input <model>
[ [ dup print-input ] make-pane ]
[ listener-gadget-input set-editor-text ]
] keep show-list ;
: insert-completion ( completion -- ) : insert-completion ( completion -- )
word-name find-listener listener-gadget-input user-input ; word-name find-listener listener-gadget-input user-input ;