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 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
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 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
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