* value *)
val connect_button: #GButton.button -> (unit -> unit) -> unit
+
+(** Connect a callback to the toggled signal of a button, ignoring its return
+ * value *)
+val connect_toggle_button: #GButton.toggle_button -> (unit -> unit) -> unit
+
(** Like connect_button above, but connects a callback to the activate signal of
* a menu item *)
val connect_menu_item: #GMenu.menu_item -> (unit -> unit) -> unit
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
+ * tags associative list will be shown on the left of the inserted row *)
+class taggedStringListModel:
+ tags:((string * GdkPixbuf.pixbuf) list) ->
+ GTree.view ->
+ object
+ method list_store: GTree.list_store (** list_store forwarding *)
+
+ method easy_append: tag:string -> string -> unit
+ method easy_insert: int -> tag:string -> string -> unit
+ method easy_selection: unit -> string list
+ end
+
(** {2 Matita GUI components} *)
class type gui =