From 02eeedf508f45321c86680db568444d8113d4b86 Mon Sep 17 00:00:00 2001 From: slava Date: Tue, 10 Oct 2006 00:00:05 +0000 Subject: [PATCH] Fix listener history --- library/ui/tools/listener.factor | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) 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 ;