Coqide: use labels for all labelled functions

 This isn't mandatory, but it's a good practice.
 For instance it allows to easily locate all ~callback arguments.
 Cf. warning 6 of OCaml 4

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

1 files changed, 8 insertions, 8 deletions

diff --git a/ide/wg_Find.ml b/ide/wg_Find.ml
index a04c2278c..1628d58d9 100644
--- a/ide/wg_Find.ml
+++ b/ide/wg_Find.ml
@@ -213,13 +213,13 @@ class finder (view : GText.view) =
 
     initializer
       let _ = self#hide () in
-      let _ = next_button#connect#clicked self#find_forward in
-      let _ = previous_button#connect#clicked self#find_backward in
-      let _ = r_next_button#connect#clicked self#find_forward in
-      let _ = r_previous_button#connect#clicked self#find_backward in
-      let _ = r_replace_button#connect#clicked self#replace in
-      let _ = r_replace_all_button#connect#clicked self#replace_all in
-      ()
+      let _ = next_button#connect#clicked ~callback:self#find_forward in
+      let _ = previous_button#connect#clicked ~callback:self#find_backward in
+      let _ = r_next_button#connect#clicked ~callback:self#find_forward in
+      let _ = r_previous_button#connect#clicked ~callback:self#find_backward in
+      let _ = r_replace_button#connect#clicked ~callback:self#replace in
+      let _ = r_replace_all_button#connect#clicked ~callback:self#replace_all
+      in ()
 
   end
 
@@ -276,7 +276,7 @@ class info (coqtop : Coq.coqtop) (view : GText.view) (msg_view : Wg_MessageView.
 
     initializer
       let _ = self#hide () in
-      let _ = next_button#connect#clicked self#search in
+      let _ = next_button#connect#clicked ~callback:self#search in
       ()
 
   end