Coqide : focus bug in goal window

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4222 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 9 insertions, 2 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 45f56f1ee..92770be11 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -83,6 +83,12 @@ let get_tab_label i =
   in
   lbl#text
 
+let get_full_tab_label i = 
+  let nb = notebook () in
+  let _,_,lbl = decompose_tab (nb#get_tab_label(nb#get_nth_page i))#as_widget 
+  in
+  lbl
+
 let get_current_tab_label () = get_tab_label (notebook())#current_page
 
 let get_current_page () = 
@@ -90,7 +96,8 @@ let get_current_page () =
   (notebook())#get_nth_page i
 				      
 
-let reset_tab_label i = set_tab_label i (get_tab_label i)
+let reset_tab_label i = 
+  set_tab_label i (get_tab_label i)
 
 let to_do_on_page_switch = ref []
   
@@ -848,7 +855,7 @@ object(self)
 			    prerr_endline "Applied tag";
 			    ()
 			| _ -> ()
-			end;true
+			end;false
 		     )
 		  );
 		tag