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
inherit multiStringListModel
method easy_append: string -> unit (** append + set *)
+
method easy_insert: int -> string -> unit (** insert + set *)
+
method easy_selection: unit -> string list
end
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 ->