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
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} *)