win:GWindow.window -> check:GMenu.check_menu_item -> unit
val toggle_win:
- ?check:GMenu.check_menu_item -> GWindow.window -> (unit -> unit)
+ ?check:GMenu.check_menu_item -> GWindow.window -> unit -> unit
val add_key_binding: Gdk.keysym -> (unit -> 'a) -> GBin.event_box -> unit
+val connect_button: GButton.button -> (unit -> unit) -> unit
+
(** single string column list *)
class stringListModel:
GTree.view ->
class type gui =
object (* minimal gui object requirements *)
- method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
+ method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
+ method newInterpDialog: unit -> MatitaGeneratedGui.interpChoiceDialog
method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
- method newTextDialog: unit -> MatitaGeneratedGui.textDialog
+ method newEmptyDialog: unit -> MatitaGeneratedGui.emptyDialog
end
(** {3 Dialogs} *)
-exception Cancel (* raised when no answer is given by the user *)
-
- (** @raise Cancel *)
+ (** @raise MatitaTypes.Cancel *)
val interactive_user_uri_choice: gui:#gui -> MatitaTypes.choose_uris_callback
- (** @raise Cancel *)
+ (** @raise MatitaTypes.Cancel *)
val interactive_interp_choice: gui:#gui -> MatitaTypes.choose_interp_callback
(** @return true if user hit "ok" button, false if user hit "cancel" button *)