From 324f9d73cb3ce3da4248ca720ebd80ab77f7de84 Mon Sep 17 00:00:00 2001
From: coq
Date: Wed, 4 Feb 2004 16:53:42 +0000
Subject: bug fix find coqide

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

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 39dcd0ffa0..9bed066669 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -2211,6 +2211,9 @@ let main files =
     find_w#misc#hide();
     v#coerce#misc#grab_focus()
   in
+  to_do_on_page_switch := 
+  (fun i -> if find_w#misc#visible then close_find()):: 
+    !to_do_on_page_switch;
   let find_again_forward () =
     search_backward := false;
     let (v,b,start,_) = last_find () in
-- 
cgit v1.2.3