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
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 vbox3 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
-class textDialog :
+class emptyDialog :
?file:string ->
?domain:string ->
?autoconnect:bool ->
unit ->
object
- val textDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val textDialogCancelButton : GButton.button
- val textDialogLabel : GMisc.label
- val textDialogOkButton : GButton.button
- val textDialogVBox : GPack.box
+ 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 check_widgets : unit -> unit
+ 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 textDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method textDialogCancelButton : GButton.button
- method textDialogLabel : GMisc.label
- method textDialogOkButton : GButton.button
- method textDialogVBox : GPack.box
method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
method xml : Glade.glade_xml Gtk.obj
end