?autoconnect:bool ->
unit ->
object
- val button1 : GButton.button
- val button2 : GButton.button
- val button3 : GButton.button
- val button4 : GButton.button
+ val applyButton : GButton.button
+ val assumptionButton : GButton.button
+ val autoButton : GButton.button
+ val cutButton : GButton.button
+ val elimButton : GButton.button
+ val elimTypeButton : GButton.button
+ val exactButton : GButton.button
+ val existsButton : GButton.button
+ val introsButton : GButton.button
+ val leftButton : GButton.button
+ val reflexivityButton : GButton.button
+ val replaceButton : GButton.button
+ val rightButton : GButton.button
+ val searchButton : GButton.button
+ val splitButton : GButton.button
+ val symmetryButton : GButton.button
val toolBarEventBox : GBin.event_box
+ val toolBarVBox : GPack.box
val toolBarWin : GWindow.window
+ val toolbar2 : GButton.toolbar
+ val toolbar3 : GButton.toolbar
+ val toolbar4 : GButton.toolbar
+ val toolbar5 : GButton.toolbar
+ val toolbar6 : GButton.toolbar
+ val toolbar7 : GButton.toolbar
val toplevel : GWindow.window
- val vbox1 : GPack.box
- val vbuttonbox1 : GPack.button_box
+ val transitivityButton : GButton.button
val xml : Glade.glade_xml Gtk.obj
+ method applyButton : GButton.button
+ method assumptionButton : GButton.button
+ method autoButton : GButton.button
method bind : name:string -> callback:(unit -> unit) -> unit
- method button1 : GButton.button
- method button2 : GButton.button
- method button3 : GButton.button
- method button4 : GButton.button
method check_widgets : unit -> unit
+ method cutButton : GButton.button
+ method elimButton : GButton.button
+ method elimTypeButton : GButton.button
+ method exactButton : GButton.button
+ method existsButton : GButton.button
+ method introsButton : GButton.button
+ method leftButton : GButton.button
+ method reflexivityButton : GButton.button
method reparent : GObj.widget -> unit
+ method replaceButton : GButton.button
+ method rightButton : GButton.button
+ method searchButton : GButton.button
+ method splitButton : GButton.button
+ method symmetryButton : GButton.button
method toolBarEventBox : GBin.event_box
+ method toolBarVBox : GPack.box
method toolBarWin : GWindow.window
+ method toolbar2 : GButton.toolbar
+ method toolbar3 : GButton.toolbar
+ method toolbar4 : GButton.toolbar
+ method toolbar5 : GButton.toolbar
+ method toolbar6 : GButton.toolbar
+ method toolbar7 : GButton.toolbar
method toplevel : GWindow.window
- method vbox1 : GPack.box
- method vbuttonbox1 : GPack.button_box
+ method transitivityButton : GButton.button
method xml : Glade.glade_xml Gtk.obj
end
class confirmationDialog :
method vbox4 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
+class textDialog :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val hbuttonbox1 : GPack.button_box
+ val scrolledwindow2 : GBin.scrolled_window
+ val textDialog : GWindow.dialog_any
+ val textDialogCancelButton : GButton.button
+ val textDialogLabel : GMisc.label
+ val textDialogOkButton : GButton.button
+ val textDialogTextView : GText.view
+ val toplevel : GWindow.dialog_any
+ val vbox5 : GPack.box
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method hbuttonbox1 : GPack.button_box
+ method reparent : GObj.widget -> unit
+ method scrolledwindow2 : GBin.scrolled_window
+ method textDialog : GWindow.dialog_any
+ method textDialogCancelButton : GButton.button
+ method textDialogLabel : GMisc.label
+ method textDialogOkButton : GButton.button
+ method textDialogTextView : GText.view
+ method toplevel : GWindow.dialog_any
+ method vbox5 : GPack.box
+ method xml : Glade.glade_xml Gtk.obj
+ end
val check_all : ?show:bool -> unit -> unit