(** given a window and a check menu item it links the two so that the former
* is only hidden on delete and the latter toggle show/hide of the former *)
-val toggle_visibility:
- win:GWindow.window -> check:GMenu.check_menu_item -> unit
+val toggle_window_visibility:
+ window:GWindow.window -> check:GMenu.check_menu_item -> unit
+
+ (** given a window and a check menu item it links the two so that the former
+ * is only hidden on delete and the latter toggle show/hide of the former *)
+val toggle_widget_visibility:
+ widget:GObj.widget -> check:GMenu.check_menu_item -> unit
+val toggle_callback:
+ callback:(bool -> unit) -> check:GMenu.check_menu_item -> unit
+
val toggle_win:
?check:GMenu.check_menu_item -> GWindow.window -> unit -> unit
* 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 =
(** {3 Dialogs} *)
- (** @return true if user hit "ok" button, false if user hit "cancel" button
- * @param cancel if set to true a cancel button is shown to the user, otherwise
- * it is not (and indeed the function will return true). Defaults to true *)
+ (* @param parent to center the window on it *)
val ask_confirmation:
- gui:#gui ->
- ?cancel:bool -> ?title:string -> ?msg:string -> unit ->
- bool
+ title:string ->
+ message:string ->
+ ?parent:#GWindow.window_skel ->
+ unit -> [`YES | `NO | `CANCEL]
+
+val report_error:
+ title:string ->
+ message:string ->
+ ?parent:#GWindow.window_skel ->
+ unit -> unit
(** @param multiline (default: false) if true a TextView widget will be used
* for prompting the user otherwise a TextEntry widget will be