]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/annotationHelper/cicAnnotationHinter.ml
* Preliminary porting to ocaml-3.04 and to gdome completed.
[helm.git] / helm / annotationHelper / cicAnnotationHinter.ml
index a84b1a44d6302d8707e5e8a785b9227f31b1d894..c5acdf1241bb5762a4a17fce62e580410d1af990 100644 (file)
@@ -59,7 +59,7 @@ let link_hint annotation_window buttonno label hint =
  let button = annotation_window#annotation_hints.(buttonno) in
   sig_ids :=
    (button#connect#clicked
-    (fun () -> (annotation_window#annotation : GEdit.text)#insert hint)
+    ~callback:(fun () -> (annotation_window#annotation : GEdit.text)#insert hint)
    ) :: !sig_ids ;
   button#misc#show () ;
   match button#children with