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
(** {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