+class aboutWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val aboutDismissButton : GButton.button
+ val aboutLabel : GMisc.label
+ val aboutWin : GWindow.dialog_any
+ val dialog_action_area2 : GPack.button_box
+ val dialog_vbox2 : GPack.box
+ val toplevel : GWindow.dialog_any
+ val xml : Glade.glade_xml Gtk.obj
+ method aboutDismissButton : GButton.button
+ method aboutLabel : GMisc.label
+ method aboutWin : GWindow.dialog_any
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method dialog_action_area2 : GPack.button_box
+ method dialog_vbox2 : GPack.box
+ method reparent : GObj.widget -> unit
+ method toplevel : GWindow.dialog_any
+ 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 browserNewButton : GButton.button
+ val browserRefreshButton : GButton.button
+ val browserUri : GEdit.entry
+ val browserVBox : GPack.box
+ 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
+ val image188 : GMisc.image
+ val image189 : GMisc.image
+ val image190 : GMisc.image
+ val image191 : GMisc.image
+ val image229 : GMisc.image
+ val label10 : GMisc.label
+ val scrolledBrowser : GBin.scrolled_window
+ val toplevel : GWindow.window
+ 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 browserNewButton : GButton.button
+ method browserRefreshButton : GButton.button
+ method browserUri : GEdit.entry
+ method browserVBox : GPack.box
+ method browserWin : GWindow.window
+ 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
+ method image188 : GMisc.image
+ method image189 : GMisc.image
+ method image190 : GMisc.image
+ method image191 : GMisc.image
+ method image229 : GMisc.image
+ method label10 : GMisc.label
+ method reparent : GObj.widget -> unit
+ method scrolledBrowser : GBin.scrolled_window
+ method toplevel : GWindow.window
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class confirmationDialog :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val confirmationDialog : GWindow.dialog_any
+ val confirmationDialogCancelButton : GButton.button
+ val confirmationDialogLabel : GMisc.label
+ val confirmationDialogOkButton : GButton.button
+ val dialog_action_area1 : GPack.button_box
+ val dialog_vbox1 : GPack.box
+ val toplevel : GWindow.dialog_any
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method confirmationDialog : GWindow.dialog_any
+ method confirmationDialogCancelButton : GButton.button
+ method confirmationDialogLabel : GMisc.label
+ method confirmationDialogOkButton : GButton.button
+ method dialog_action_area1 : GPack.button_box
+ method dialog_vbox1 : GPack.box
+ method reparent : GObj.widget -> unit
+ method toplevel : GWindow.dialog_any
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class emptyDialog :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val dialog_action_area5 : GPack.button_box
+ val emptyDialog : GWindow.dialog_any
+ val emptyDialogCancelButton : GButton.button
+ val emptyDialogLabel : GMisc.label
+ val emptyDialogOkButton : GButton.button
+ val emptyDialogVBox : GPack.box
+ val toplevel : GWindow.dialog_any
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method dialog_action_area5 : GPack.button_box
+ method emptyDialog : GWindow.dialog_any
+ method emptyDialogCancelButton : GButton.button
+ method emptyDialogLabel : GMisc.label
+ method emptyDialogOkButton : GButton.button
+ method emptyDialogVBox : GPack.box
+ method reparent : GObj.widget -> unit
+ method toplevel : GWindow.dialog_any
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class fileSelectionWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val fileSelCancelButton : GButton.button
+ val fileSelOkButton : GButton.button
+ val fileSelectionWin : GWindow.file_selection
+ val toplevel : GWindow.file_selection
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method fileSelCancelButton : GButton.button
+ method fileSelOkButton : GButton.button
+ method fileSelectionWin : GWindow.file_selection
+ method toplevel : GWindow.file_selection
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class interpChoiceDialog :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val dialog_action_area4 : GPack.button_box
+ val dialog_vbox4 : GPack.box
+ val interpChoiceCancelButton : GButton.button
+ val interpChoiceDialog : GWindow.dialog_any
+ val interpChoiceDialogLabel : GMisc.label
+ val interpChoiceHelpButton : GButton.button
+ val interpChoiceOkButton : GButton.button
+ val interpChoiceTreeView : GTree.view
+ val scrolledwindow4 : GBin.scrolled_window
+ val toplevel : GWindow.dialog_any
+ val vbox3 : GPack.box
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method dialog_action_area4 : GPack.button_box
+ method dialog_vbox4 : GPack.box
+ method interpChoiceCancelButton : GButton.button
+ method interpChoiceDialog : GWindow.dialog_any
+ method interpChoiceDialogLabel : GMisc.label
+ method interpChoiceHelpButton : GButton.button
+ method interpChoiceOkButton : GButton.button
+ method interpChoiceTreeView : GTree.view
+ method reparent : GObj.widget -> unit
+ method scrolledwindow4 : GBin.scrolled_window
+ method toplevel : GWindow.dialog_any
+ method vbox3 : GPack.box
+ method xml : Glade.glade_xml Gtk.obj
+ end
class mainWin :
?file:string ->
?domain:string ->
method viewMenu_menu : GMenu.menu
method xml : Glade.glade_xml Gtk.obj
end
-class fileSelectionWin :
+class scriptWin :
?file:string ->
?domain:string ->
?autoconnect:bool ->
unit ->
object
- val fileSelCancelButton : GButton.button
- val fileSelOkButton : GButton.button
- val fileSelectionWin : GWindow.file_selection
- val toplevel : GWindow.file_selection
+ val handlebox2 : GBin.handle_box
+ val hbox8 : GPack.box
+ val image134 : GMisc.image
+ val image235 : GMisc.image
+ val image237 : GMisc.image
+ val image238 : GMisc.image
+ val image239 : GMisc.image
+ val label7 : GMisc.label
+ val label8 : GMisc.label
+ val outlineTreeView : GTree.view
+ 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 toplevel : GWindow.window
+ 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 fileSelCancelButton : GButton.button
- method fileSelOkButton : GButton.button
- method fileSelectionWin : GWindow.file_selection
- method toplevel : GWindow.file_selection
+ method handlebox2 : GBin.handle_box
+ method hbox8 : GPack.box
+ method image134 : GMisc.image
+ method image235 : GMisc.image
+ method image237 : GMisc.image
+ method image238 : GMisc.image
+ method image239 : GMisc.image
+ method label7 : GMisc.label
+ method label8 : GMisc.label
+ method outlineTreeView : GTree.view
+ method reparent : GObj.widget -> unit
+ method scriptNotebook : GPack.notebook
+ 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 toplevel : GWindow.window
+ method vbox7 : 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
class toolBarWin :
method whdButton : GButton.button
method xml : Glade.glade_xml Gtk.obj
end
-class confirmationDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val confirmationDialog : GWindow.dialog_any
- val confirmationDialogCancelButton : GButton.button
- val confirmationDialogLabel : GMisc.label
- val confirmationDialogOkButton : GButton.button
- val dialog_action_area1 : GPack.button_box
- val dialog_vbox1 : GPack.box
- val toplevel : GWindow.dialog_any
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method confirmationDialog : GWindow.dialog_any
- method confirmationDialogCancelButton : GButton.button
- method confirmationDialogLabel : GMisc.label
- method confirmationDialogOkButton : GButton.button
- method dialog_action_area1 : GPack.button_box
- method dialog_vbox1 : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : GWindow.dialog_any
- method xml : Glade.glade_xml Gtk.obj
- end
-class aboutWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val aboutDismissButton : GButton.button
- val aboutLabel : GMisc.label
- val aboutWin : GWindow.dialog_any
- val dialog_action_area2 : GPack.button_box
- val dialog_vbox2 : GPack.box
- val toplevel : GWindow.dialog_any
- val xml : Glade.glade_xml Gtk.obj
- method aboutDismissButton : GButton.button
- method aboutLabel : GMisc.label
- method aboutWin : GWindow.dialog_any
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method dialog_action_area2 : GPack.button_box
- method dialog_vbox2 : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : GWindow.dialog_any
- method xml : Glade.glade_xml Gtk.obj
- end
class uriChoiceDialog :
?file:string ->
?domain:string ->
method vbox2 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
-class interpChoiceDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val dialog_action_area4 : GPack.button_box
- val dialog_vbox4 : GPack.box
- val interpChoiceCancelButton : GButton.button
- val interpChoiceDialog : GWindow.dialog_any
- val interpChoiceDialogLabel : GMisc.label
- val interpChoiceHelpButton : GButton.button
- val interpChoiceOkButton : GButton.button
- val interpChoiceTreeView : GTree.view
- val scrolledwindow4 : GBin.scrolled_window
- val toplevel : GWindow.dialog_any
- val vbox3 : GPack.box
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method dialog_action_area4 : GPack.button_box
- method dialog_vbox4 : GPack.box
- method interpChoiceCancelButton : GButton.button
- method interpChoiceDialog : GWindow.dialog_any
- method interpChoiceDialogLabel : GMisc.label
- method interpChoiceHelpButton : GButton.button
- method interpChoiceOkButton : GButton.button
- method interpChoiceTreeView : GTree.view
- method reparent : GObj.widget -> unit
- method scrolledwindow4 : GBin.scrolled_window
- method toplevel : GWindow.dialog_any
- method vbox3 : GPack.box
- method xml : Glade.glade_xml Gtk.obj
- end
-class emptyDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val dialog_action_area5 : GPack.button_box
- val emptyDialog : GWindow.dialog_any
- val emptyDialogCancelButton : GButton.button
- val emptyDialogLabel : GMisc.label
- val emptyDialogOkButton : GButton.button
- val emptyDialogVBox : GPack.box
- val toplevel : GWindow.dialog_any
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method dialog_action_area5 : GPack.button_box
- method emptyDialog : GWindow.dialog_any
- method emptyDialogCancelButton : GButton.button
- method emptyDialogLabel : GMisc.label
- method emptyDialogOkButton : GButton.button
- method emptyDialogVBox : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : GWindow.dialog_any
- 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 toplevel : GWindow.window
- val treeview1 : GTree.view
- 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 scriptNotebook : GPack.notebook
- 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 toplevel : GWindow.window
- method treeview1 : GTree.view
- method vbox7 : 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
-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 browserNewButton : GButton.button
- val browserRefreshButton : GButton.button
- val browserUri : GEdit.entry
- val browserVBox : GPack.box
- 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
- val image188 : GMisc.image
- val image189 : GMisc.image
- val image190 : GMisc.image
- val image191 : GMisc.image
- val image229 : GMisc.image
- val label10 : GMisc.label
- val scrolledBrowser : GBin.scrolled_window
- val toplevel : GWindow.window
- 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 browserNewButton : GButton.button
- method browserRefreshButton : GButton.button
- method browserUri : GEdit.entry
- method browserVBox : GPack.box
- method browserWin : GWindow.window
- 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
- method image188 : GMisc.image
- method image189 : GMisc.image
- method image190 : GMisc.image
- method image191 : GMisc.image
- method image229 : GMisc.image
- method label10 : GMisc.label
- method reparent : GObj.widget -> unit
- method scrolledBrowser : GBin.scrolled_window
- method toplevel : GWindow.window
- method xml : Glade.glade_xml Gtk.obj
- end
val check_all : ?show:bool -> unit -> unit
projects / helm.git / blobdiff