diff --git a/library/ui/tools/search.factor b/library/ui/tools/search.factor index de92a8a429..699d7cafa7 100644 --- a/library/ui/tools/search.factor +++ b/library/ui/tools/search.factor @@ -170,13 +170,8 @@ C: history-search ( string seq -- gadget ) : listener-history ( listener -- seq ) listener-gadget-input interactor-history ; -: history-action ( string -- ) - find-listener listener-gadget-input set-editor-text ; - : show-history ( workspace -- ) - dup workspace-listener - [ listener-gadget-input editor-text ] keep listener-history - + "" over workspace-listener listener-history "History search" show-titled-popup ; workspace "toolbar" {