Porting to ocaml 5

[helm.git] / matita / matita / matitaGtkMisc.mli

diff --git a/matita/matita/matitaGtkMisc.mli b/matita/matita/matitaGtkMisc.mli
index 627909cd456e4e1b5969a8171e60d262469b0fc5..6884e232e1c686f8194c038eb73b59973f079a2f 100644 (file)
--- a/matita/matita/matitaGtkMisc.mli
+++ b/matita/matita/matitaGtkMisc.mli
@@ -76,7 +76,9 @@ class multiStringListModel:
     method list_store: GTree.list_store (** list_store forwarding *)
 
     method easy_mappend:     string list -> unit        (** append + set *)
+
     method easy_minsert:     int -> string list -> unit (** insert + set *)
+
     method easy_mselection:  unit -> string list list
   end
   
@@ -87,7 +89,9 @@ class stringListModel:
     inherit multiStringListModel
 
     method easy_append:     string -> unit        (** append + set *)
+
     method easy_insert:     int -> string -> unit (** insert + set *)
+
     method easy_selection:  unit -> string list
   end
   
@@ -122,8 +126,7 @@ class type gui =
 val ask_confirmation:
   title:string -> message:string -> 
   ?parent:#GWindow.window_skel ->
-  unit ->
-    [`YES | `NO | `CANCEL]
+  unit -> [`YES | `NO | `DELETE_EVENT ]
 
 val report_error:
   title:string -> message:string ->