object
val aboutMenuItem : GMenu.menu_item
val consoleEventBox : GBin.event_box
+ val consoleHBox : GPack.box
val debugMenu : GMenu.menu_item
val debugMenu_menu : GMenu.menu
val editMenu : GMenu.menu_item
val fileMenu : GMenu.menu_item
val fileMenu_menu : GMenu.menu
- val hbox4 : GPack.box
val helpMenu : GMenu.menu_item
val helpMenu_menu : GMenu.menu
val hideConsoleButton : GButton.button
- val image164 : GMisc.image
- val image165 : GMisc.image
- val image166 : GMisc.image
- val image167 : GMisc.image
- val image168 : GMisc.image
val image169 : GMisc.image
+ val image182 : GMisc.image
+ val image183 : GMisc.image
+ val image184 : GMisc.image
+ val image185 : GMisc.image
+ val image186 : GMisc.image
val mainMenuBar : GMenu.menu_shell
val mainStatusBar : GMisc.statusbar
val mainVPanes : GPack.paned
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit
method consoleEventBox : GBin.event_box
+ method consoleHBox : GPack.box
method debugMenu : GMenu.menu_item
method debugMenu_menu : GMenu.menu
method editMenu : GMenu.menu_item
method fileMenu : GMenu.menu_item
method fileMenu_menu : GMenu.menu
- method hbox4 : GPack.box
method helpMenu : GMenu.menu_item
method helpMenu_menu : GMenu.menu
method hideConsoleButton : GButton.button
- method image164 : GMisc.image
- method image165 : GMisc.image
- method image166 : GMisc.image
- method image167 : GMisc.image
- method image168 : GMisc.image
method image169 : GMisc.image
+ method image182 : GMisc.image
+ method image183 : GMisc.image
+ method image184 : GMisc.image
+ method image185 : GMisc.image
+ method image186 : GMisc.image
method mainMenuBar : GMenu.menu_shell
method mainStatusBar : GMisc.statusbar
method mainVPanes : GPack.paned
val existsButton : GButton.button
val introsButton : GButton.button
val leftButton : GButton.button
+ val reduceButton : GButton.button
val reflexivityButton : GButton.button
val replaceButton : GButton.button
val rightButton : GButton.button
+ val simplifyButton : GButton.button
val splitButton : GButton.button
val symmetryButton : GButton.button
val toolBarEventBox : GBin.event_box
val toolbar5 : GButton.toolbar
val toolbar6 : GButton.toolbar
val toolbar7 : GButton.toolbar
+ val toolbar8 : GButton.toolbar
val toplevel : GWindow.window
val transitivityButton : GButton.button
+ val whdButton : GButton.button
val xml : Glade.glade_xml Gtk.obj
method applyButton : GButton.button
method assumptionButton : GButton.button
method existsButton : GButton.button
method introsButton : GButton.button
method leftButton : GButton.button
+ method reduceButton : GButton.button
method reflexivityButton : GButton.button
method reparent : GObj.widget -> unit
method replaceButton : GButton.button
method rightButton : GButton.button
+ method simplifyButton : GButton.button
method splitButton : GButton.button
method symmetryButton : GButton.button
method toolBarEventBox : GBin.event_box
method toolbar5 : GButton.toolbar
method toolbar6 : GButton.toolbar
method toolbar7 : GButton.toolbar
+ method toolbar8 : GButton.toolbar
method toplevel : GWindow.window
method transitivityButton : GButton.button
+ method whdButton : GButton.button
method xml : Glade.glade_xml Gtk.obj
end
class confirmationDialog :
method vbox5 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
+class browserWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val alignment3 : GBin.alignment
+ val browserBackButton : GButton.button
+ val browserForwardButton : GButton.button
+ val browserHomeButton : GButton.button
+ val browserWin : GWindow.window
+ val browserWinEventBox : GBin.event_box
+ val frame1 : GBin.frame
+ val hbox6 : GPack.box
+ val hbox7 : GPack.box
+ val image187 : GMisc.image
+ val image188 : GMisc.image
+ val image189 : GMisc.image
+ val image190 : GMisc.image
+ val label10 : GMisc.label
+ val scrolledBrowser : GBin.scrolled_window
+ val toplevel : GWindow.window
+ val vbox7 : GPack.box
+ val xml : Glade.glade_xml Gtk.obj
+ method alignment3 : GBin.alignment
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method browserBackButton : GButton.button
+ method browserForwardButton : GButton.button
+ method browserHomeButton : GButton.button
+ method browserWin : GWindow.window
+ method browserWinEventBox : GBin.event_box
+ method check_widgets : unit -> unit
+ method frame1 : GBin.frame
+ method hbox6 : GPack.box
+ method hbox7 : GPack.box
+ method image187 : GMisc.image
+ method image188 : GMisc.image
+ method image189 : GMisc.image
+ method image190 : GMisc.image
+ method label10 : GMisc.label
+ method reparent : GObj.widget -> unit
+ method scrolledBrowser : GBin.scrolled_window
+ method toplevel : GWindow.window
+ method vbox7 : GPack.box
+ method xml : Glade.glade_xml Gtk.obj
+ end
val check_all : ?show:bool -> unit -> unit