From bbd661e386d2d3ed1913d7106ec4b890d92d2a47 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 6 Sep 2012 15:06:46 +0000
Subject: Nice output of SearchAbout command in CoqIDE

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15779 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/wg_Find.mli | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'ide/wg_Find.mli')

diff --git a/ide/wg_Find.mli b/ide/wg_Find.mli
index b0a421317..5337dae7c 100644
--- a/ide/wg_Find.mli
+++ b/ide/wg_Find.mli
@@ -6,12 +6,13 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
+type mode = [ `FIND | `REPLACE ]
+
 class finder : GText.view ->
   object
     method coerce : GObj.widget
     method hide : unit -> unit
-    method show_find : unit -> unit
-    method show_replace : unit -> unit
+    method show : mode -> unit
     method replace : unit -> unit
     method replace_all : unit -> unit
     method find_backward : unit -> unit
-- 
cgit v1.2.3