(unit -> unit) -> (* callback *)
unit
+ (** n-ary string column list *)
+class multiStringListModel:
+ cols:int ->
+ GTree.view ->
+ object
+ 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
+
(** single string column list *)
class stringListModel:
GTree.view ->
object
- method list_store: GTree.list_store (** list_store forwarding *)
+ inherit multiStringListModel
method easy_append: string -> unit (** append + set *)
method easy_insert: int -> string -> unit (** insert + set *)
method easy_selection: unit -> string list
end
+
(** as above with Pixbuf associated to each row. Each time an insert is
* performed a string tag should be specified, the corresponding pixbuf in the
title:string ->
message:string ->
?parent:#GWindow.window_skel ->
- unit -> bool
+ unit -> [`YES | `NO | `CANCEL]
val report_error:
title:string ->