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
val newMenu_menu : GMenu.menu
val newProofMenuItem : GMenu.menu_item
val openMenuItem : GMenu.image_menu_item
- val proofStatus : GBin.scrolled_window
val quitMenuItem : GMenu.image_menu_item
val saveAsMenuItem : GMenu.image_menu_item
val saveMenuItem : GMenu.image_menu_item
- val scrolledUserInput : GBin.scrolled_window
+ val scrolledConsole : GBin.scrolled_window
+ val scrolledSequents : 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
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
method newMenu_menu : GMenu.menu
method newProofMenuItem : GMenu.menu_item
method openMenuItem : GMenu.image_menu_item
- method proofStatus : GBin.scrolled_window
method quitMenuItem : GMenu.image_menu_item
method reparent : GObj.widget -> unit
method saveAsMenuItem : GMenu.image_menu_item
method saveMenuItem : GMenu.image_menu_item
- method scrolledUserInput : GBin.scrolled_window
+ method scrolledConsole : GBin.scrolled_window
+ method scrolledSequents : 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
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
method vbox3 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
-class debug :
+class emptyDialog :
?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 emptyDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val emptyDialogCancelButton : GButton.button
+ val emptyDialogLabel : GMisc.label
+ val emptyDialogOkButton : GButton.button
+ val emptyDialogVBox : GPack.box
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 emptyDialog :
+ [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method emptyDialogCancelButton : GButton.button
+ method emptyDialogLabel : GMisc.label
+ method emptyDialogOkButton : GButton.button
+ method emptyDialogVBox : GPack.box
method reparent : GObj.widget -> unit
method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
method xml : Glade.glade_xml Gtk.obj