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