method viewMenu_menu : GMenu.menu
method xml : Glade.glade_xml Gtk.obj
end
-class proofWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val proofWin : GWindow.window
- val proofWinEventBox : GBin.event_box
- val scrolledProof : GBin.scrolled_window
- val toplevel : GWindow.window
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method proofWin : GWindow.window
- method proofWinEventBox : GBin.event_box
- method reparent : GObj.widget -> unit
- method scrolledProof : GBin.scrolled_window
- method toplevel : GWindow.window
- method xml : Glade.glade_xml Gtk.obj
- end
class fileSelectionWin :
?file:string ->
?domain:string ->
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 handlebox2 : GBin.handle_box
+ val hbox8 : GPack.box
val image133 : GMisc.image
val image134 : GMisc.image
val image135 : GMisc.image
+ val image235 : GMisc.image
+ val image236 : GMisc.image
val label7 : GMisc.label
val label8 : GMisc.label
val scriptNotebook : GPack.notebook
val scriptTextView : GText.view
val scriptWin : GWindow.window
val scriptWinBackButton : GButton.button
+ val scriptWinBottomButton : GButton.button
val scriptWinEventBox : GBin.event_box
val scriptWinForwardButton : GButton.button
val scriptWinJumpButton : GButton.button
+ val scriptWinTopButton : GButton.button
+ val scrolledOutline : GBin.scrolled_window
val scrolledScript : GBin.scrolled_window
- val scrolledwindow3 : GBin.scrolled_window
- val toolbar1 : GButton.toolbar
val toplevel : GWindow.window
val treeview1 : GTree.view
- val vbox4 : GPack.box
+ val vbox7 : GPack.box
val xml : Glade.glade_xml Gtk.obj
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit
+ method handlebox2 : GBin.handle_box
+ method hbox8 : GPack.box
method image133 : GMisc.image
method image134 : GMisc.image
method image135 : GMisc.image
+ method image235 : GMisc.image
+ method image236 : GMisc.image
method label7 : GMisc.label
method label8 : GMisc.label
method reparent : GObj.widget -> unit
method scriptTextView : GText.view
method scriptWin : GWindow.window
method scriptWinBackButton : GButton.button
+ method scriptWinBottomButton : GButton.button
method scriptWinEventBox : GBin.event_box
method scriptWinForwardButton : GButton.button
method scriptWinJumpButton : GButton.button
+ method scriptWinTopButton : GButton.button
+ method scrolledOutline : GBin.scrolled_window
method scrolledScript : GBin.scrolled_window
- method scrolledwindow3 : GBin.scrolled_window
- method toolbar1 : GButton.toolbar
method toplevel : GWindow.window
method treeview1 : GTree.view
- method vbox4 : GPack.box
+ method vbox7 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
class textDialog :
val browserWin : GWindow.window
val browserWinEventBox : GBin.event_box
val frame1 : GBin.frame
+ val handlebox1 : GBin.handle_box
val hbox6 : GPack.box
val hbox7 : GPack.box
val image187 : GMisc.image
method browserWinEventBox : GBin.event_box
method check_widgets : unit -> unit
method frame1 : GBin.frame
+ method handlebox1 : GBin.handle_box
method hbox6 : GPack.box
method hbox7 : GPack.box
method image187 : GMisc.image