Fix listener history

diff --git a/library/ui/tools/listener.factor b/library/ui/tools/listener.factor
index ac195ed4e596d0ac8ca1a6d9e23b74c20f07b53e..1f89214f3b0f3728194ffb61ab40e2ee03b4b4f2 100644 (file)
--- a/library/ui/tools/listener.factor
+++ b/library/ui/tools/listener.factor
@@ -133,18 +133,20 @@ M: listener-gadget tool-help
     <vocabs-search> "Vocabulary search" <labelled-gadget>
     swap show-minibuffer ;
 
-: show-list ( seq presenter action listener -- )
-    >r minibuffer-action <list> <scroller> r> show-minibuffer ;
-
 : listener-history ( listener -- seq )
     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 -- )
-    [
-        listener-gadget-input <model>
-        [ [ dup print-input ] make-pane ]
-        [ listener-gadget-input set-editor-text ]
-    ] keep show-list ;
+    [ <history-gadget> ] keep show-minibuffer ;
 
 : insert-completion ( completion -- )
     word-name find-listener listener-gadget-input user-input ;