From 3ae55cb96a6acedae378b89849f06b7c8b84f139 Mon Sep 17 00:00:00 2001
From: slava <slava@factorcode.org>
Date: Thu, 6 Jul 2006 20:54:26 +0000
Subject: [PATCH] Add search button to help tool

---
 library/ui/tools/help.factor | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/library/ui/tools/help.factor b/library/ui/tools/help.factor
index c85542f850..1a1dedf861 100644
--- a/library/ui/tools/help.factor
+++ b/library/ui/tools/help.factor
@@ -2,8 +2,8 @@
 ! See http://factorcode.org/license.txt for BSD license.
 IN: gadgets-help
 USING: gadgets gadgets-buttons gadgets-frames gadgets-panes
-gadgets-presentations gadgets-scrolling help kernel models
-namespaces sequences ;
+gadgets-presentations gadgets-search gadgets-scrolling help
+kernel models namespaces sequences ;
 
 TUPLE: help-gadget history ;
 
@@ -22,6 +22,8 @@ TUPLE: help-gadget history ;
         "Back" [ history-action go-back ] <bevel-button> ,
         "Forward" [ history-action go-forward ] <bevel-button> ,
         "Home" [ find-help-gadget go-home ] <bevel-button> ,
+        <spacing> ,
+        "Search" [ drop search-help-window ] <bevel-button> ,
     ] make-toolbar ;
 
 : <help-pane> ( -- gadget )