X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGtkMisc.mli;h=92606176cfc5c61fa9068b2b3aa790a05b1d989c;hb=e3c0cc9893402419e363ad6616a599f194438273;hp=8c45d4d59372e8a04ea8583207f921a2f6892bee;hpb=afd3b379d4959e4a18c1f26f25e4a9c14997866f;p=helm.git diff --git a/helm/matita/matitaGtkMisc.mli b/helm/matita/matitaGtkMisc.mli index 8c45d4d59..92606176c 100644 --- a/helm/matita/matitaGtkMisc.mli +++ b/helm/matita/matitaGtkMisc.mli @@ -35,6 +35,8 @@ val toggle_win: 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 -> @@ -50,19 +52,18 @@ class stringListModel: 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 newEmptyDialog: unit -> MatitaGeneratedGui.emptyDialog + 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 *)