X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGeneratedGui.mli;h=c4f2a31cc3dc4a8bd7f05f4044fdd19ebd89a919;hb=07dde6f87105c18b28fc784b7d596a5d242e1225;hp=6b72a8b272681488011509f1a68fbbe025008f1b;hpb=c5d4ad1c98c1434b95a8a9b1c8697dd36cf39623;p=helm.git diff --git a/helm/matita/matitaGeneratedGui.mli b/helm/matita/matitaGeneratedGui.mli index 6b72a8b27..c4f2a31cc 100644 --- a/helm/matita/matitaGeneratedGui.mli +++ b/helm/matita/matitaGeneratedGui.mli @@ -1,3 +1,5 @@ +(* Automatically generated from matitaGeneratedGui.ml by make *) + class mainWin : ?file:string -> ?domain:string -> @@ -6,20 +8,17 @@ class mainWin : object val aboutMenuItem : GMenu.menu_item val debugMenu : GMenu.menu_item - val debugMenuItem0 : GMenu.menu_item - val debugMenuItem1 : GMenu.menu_item - val debugMenuItem2 : GMenu.menu_item val debugMenu_menu : GMenu.menu val editMenu : GMenu.menu_item val fileMenu : GMenu.menu_item val fileMenu_menu : GMenu.menu val helpMenu : GMenu.menu_item val helpMenu_menu : GMenu.menu - val image40 : GMisc.image - val image41 : GMisc.image - val image42 : GMisc.image - val image43 : GMisc.image - val image44 : GMisc.image + val image76 : GMisc.image + val image77 : GMisc.image + val image78 : GMisc.image + val image79 : GMisc.image + val image80 : GMisc.image val mainMenuBar : GMenu.menu_shell val mainStatusBar : GMisc.statusbar val mainVPanes : GPack.paned @@ -36,6 +35,7 @@ class mainWin : val saveMenuItem : GMenu.image_menu_item val scrolledUserInput : GBin.scrolled_window val separator1 : GMenu.menu_item + val separator2 : GMenu.menu_item val showProofMenuItem : GMenu.check_menu_item val showToolBarMenuItem : GMenu.check_menu_item val toplevel : GWindow.window @@ -46,20 +46,17 @@ class mainWin : method bind : name:string -> callback:(unit -> unit) -> unit method check_widgets : unit -> unit method debugMenu : GMenu.menu_item - method debugMenuItem0 : GMenu.menu_item - method debugMenuItem1 : GMenu.menu_item - method debugMenuItem2 : GMenu.menu_item method debugMenu_menu : GMenu.menu method editMenu : GMenu.menu_item method fileMenu : GMenu.menu_item method fileMenu_menu : GMenu.menu method helpMenu : GMenu.menu_item method helpMenu_menu : GMenu.menu - method image40 : GMisc.image - method image41 : GMisc.image - method image42 : GMisc.image - method image43 : GMisc.image - method image44 : GMisc.image + method image76 : GMisc.image + method image77 : GMisc.image + method image78 : GMisc.image + method image79 : GMisc.image + method image80 : GMisc.image method mainMenuBar : GMenu.menu_shell method mainStatusBar : GMisc.statusbar method mainVPanes : GPack.paned @@ -77,6 +74,7 @@ class mainWin : method saveMenuItem : GMenu.image_menu_item method scrolledUserInput : GBin.scrolled_window method separator1 : GMenu.menu_item + method separator2 : GMenu.menu_item method showProofMenuItem : GMenu.check_menu_item method showToolBarMenuItem : GMenu.check_menu_item method toplevel : GWindow.window @@ -153,25 +151,28 @@ class toolBarWin : method vbox1 : GPack.box method xml : Glade.glade_xml Gtk.obj end -class genericDialog : +class confirmationDialog : ?file:string -> ?domain:string -> ?autoconnect:bool -> unit -> object - val cancelbutton1 : GButton.button + val confirmationDialog : + [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog + val confirmationDialogCancelButton : GButton.button + val confirmationDialogLabel : GMisc.label + val confirmationDialogOkButton : GButton.button val dialog_vbox1 : GPack.box - val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog - val okbutton1 : GButton.button val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog val xml : Glade.glade_xml Gtk.obj method bind : name:string -> callback:(unit -> unit) -> unit - method cancelbutton1 : GButton.button method check_widgets : unit -> unit - method dialog_vbox1 : GPack.box - method genericDialog : + method confirmationDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog - method okbutton1 : GButton.button + method confirmationDialogCancelButton : GButton.button + method confirmationDialogLabel : GMisc.label + method confirmationDialogOkButton : GButton.button + method dialog_vbox1 : GPack.box method reparent : GObj.widget -> unit method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog method xml : Glade.glade_xml Gtk.obj @@ -284,26 +285,4 @@ class interpChoiceDialog : method vbox3 : GPack.box method xml : Glade.glade_xml Gtk.obj end -class debug : - ?file:string -> - ?domain:string -> - ?autoconnect:bool -> - unit -> - object - val cancelbutton2 : GButton.button - val debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog - val dialog_vbox5 : GPack.box - val okbutton2 : GButton.button - val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog - val xml : Glade.glade_xml Gtk.obj - method bind : name:string -> callback:(unit -> unit) -> unit - method cancelbutton2 : GButton.button - method check_widgets : unit -> unit - method debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog - method dialog_vbox5 : GPack.box - method okbutton2 : GButton.button - method reparent : GObj.widget -> unit - method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog - method xml : Glade.glade_xml Gtk.obj - end val check_all : ?show:bool -> unit -> unit