From 6a43dd3dc162412fbd9a9863840536b01043937d Mon Sep 17 00:00:00 2001
From: gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 22 Oct 2013 09:22:15 +0000
Subject: Wg_Find: regex + case insensitive find/replace support

It uses Str, hence it also supports captures \(..\) and \1 .. \n

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16904 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide_ui.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide/coqide_ui.ml')

diff --git a/ide/coqide_ui.ml b/ide/coqide_ui.ml
index d763c33cb..af71b1e78 100644
--- a/ide/coqide_ui.ml
+++ b/ide/coqide_ui.ml
@@ -51,7 +51,6 @@ let init () =
     <menuitem action='Find' />
     <menuitem action='Find Next' />
     <menuitem action='Find Previous' />
-    <menuitem action='Replace' />
     <menuitem action='Complete Word' />
     <separator />
     <menuitem action='External editor' />
-- 
cgit v1.2.3