val fileMenu_menu : GMenu.menu
val helpMenu : GMenu.menu_item
val helpMenu_menu : GMenu.menu
- val image84 : GMisc.image
- val image85 : GMisc.image
- val image86 : GMisc.image
- val image87 : GMisc.image
- val image88 : GMisc.image
+ val image128 : GMisc.image
+ val image129 : GMisc.image
+ val image130 : GMisc.image
+ val image131 : GMisc.image
+ val image132 : GMisc.image
val mainMenuBar : GMenu.menu_shell
val mainStatusBar : GMisc.statusbar
val mainVPanes : GPack.paned
val separator1 : GMenu.menu_item
val separator2 : GMenu.menu_item
val sequentsNotebook : GPack.notebook
+ val showCheckMenuItem : GMenu.check_menu_item
val showProofMenuItem : GMenu.check_menu_item
+ val showScriptMenuItem : GMenu.check_menu_item
val showToolBarMenuItem : GMenu.check_menu_item
val toplevel : GWindow.window
val viewMenu : GMenu.menu_item
method fileMenu_menu : GMenu.menu
method helpMenu : GMenu.menu_item
method helpMenu_menu : GMenu.menu
- method image84 : GMisc.image
- method image85 : GMisc.image
- method image86 : GMisc.image
- method image87 : GMisc.image
- method image88 : GMisc.image
+ method image128 : GMisc.image
+ method image129 : GMisc.image
+ method image130 : GMisc.image
+ method image131 : GMisc.image
+ method image132 : GMisc.image
method mainMenuBar : GMenu.menu_shell
method mainStatusBar : GMisc.statusbar
method mainVPanes : GPack.paned
method separator1 : GMenu.menu_item
method separator2 : GMenu.menu_item
method sequentsNotebook : GPack.notebook
+ method showCheckMenuItem : GMenu.check_menu_item
method showProofMenuItem : GMenu.check_menu_item
+ method showScriptMenuItem : GMenu.check_menu_item
method showToolBarMenuItem : GMenu.check_menu_item
method toplevel : GWindow.window
method viewMenu : GMenu.menu_item
?autoconnect:bool ->
unit ->
object
- val cancel_button1 : GButton.button
+ val fileSelCancelButton : GButton.button
+ val fileSelOkButton : GButton.button
val fileSelectionWin : GWindow.file_selection
- val ok_button1 : GButton.button
val toplevel : GWindow.file_selection
val xml : Glade.glade_xml Gtk.obj
method bind : name:string -> callback:(unit -> unit) -> unit
- method cancel_button1 : GButton.button
method check_widgets : unit -> unit
+ method fileSelCancelButton : GButton.button
+ method fileSelOkButton : GButton.button
method fileSelectionWin : GWindow.file_selection
- method ok_button1 : GButton.button
method toplevel : GWindow.file_selection
method xml : Glade.glade_xml Gtk.obj
end
method toplevel : GWindow.dialog_any
method xml : Glade.glade_xml Gtk.obj
end
+class checkWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val checkWin : GWindow.window
+ val checkWinEventBox : GBin.event_box
+ val scrolledCheck : GBin.scrolled_window
+ val toplevel : GWindow.window
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method checkWin : GWindow.window
+ method checkWinEventBox : GBin.event_box
+ method check_widgets : unit -> unit
+ method reparent : GObj.widget -> unit
+ method scrolledCheck : GBin.scrolled_window
+ method toplevel : GWindow.window
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class scriptWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val button5 : GButton.button
+ val button6 : GButton.button
+ val button7 : GButton.button
+ val image133 : GMisc.image
+ val image134 : GMisc.image
+ val image135 : GMisc.image
+ val scriptTextView : GText.view
+ val scriptWin : GWindow.window
+ val scriptWinEventBox : GBin.event_box
+ val scrolledScript : GBin.scrolled_window
+ val toolbar1 : GButton.toolbar
+ val toplevel : GWindow.window
+ val vbox4 : GPack.box
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method button5 : GButton.button
+ method button6 : GButton.button
+ method button7 : GButton.button
+ method check_widgets : unit -> unit
+ method image133 : GMisc.image
+ method image134 : GMisc.image
+ method image135 : GMisc.image
+ method reparent : GObj.widget -> unit
+ method scriptTextView : GText.view
+ method scriptWin : GWindow.window
+ method scriptWinEventBox : GBin.event_box
+ method scrolledScript : GBin.scrolled_window
+ method toolbar1 : GButton.toolbar
+ method toplevel : GWindow.window
+ method vbox4 : GPack.box
+ method xml : Glade.glade_xml Gtk.obj
+ end
val check_all : ?show:bool -> unit -> unit