From 793777051685609d0c4f41c513cd55ed624e982d Mon Sep 17 00:00:00 2001 From: slava Date: Tue, 21 Nov 2006 09:05:59 +0000 Subject: [PATCH] Improve C+p --- library/ui/tools/search.factor | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) 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" {