diff --git a/library/ui/tools/listener.factor b/library/ui/tools/listener.factor index ac195ed4e5..1f89214f3b 100644 --- a/library/ui/tools/listener.factor +++ b/library/ui/tools/listener.factor @@ -133,18 +133,20 @@ M: listener-gadget tool-help "Vocabulary search" swap show-minibuffer ; -: show-list ( seq presenter action listener -- ) - >r minibuffer-action r> show-minibuffer ; - : listener-history ( listener -- seq ) listener-gadget-input interactor-history ; +: history-action ( string -- ) + find-listener listener-gadget-input set-editor-text ; + +: ( listener -- gadget ) + listener-history + [ [ dup print-input ] make-pane ] + [ history-action ] minibuffer-action + "History" ; + : show-history ( listener -- ) - [ - listener-gadget-input - [ [ dup print-input ] make-pane ] - [ listener-gadget-input set-editor-text ] - ] keep show-list ; + [ ] keep show-minibuffer ; : insert-completion ( completion -- ) word-name find-listener listener-gadget-input user-input ;