val proofWinEventBox : GBin.event_box
val scrolledProof : GBin.scrolled_window
val toplevel : GWindow.window
- val viewport1 : GBin.viewport
val xml : Glade.glade_xml Gtk.obj
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit
method reparent : GObj.widget -> unit
method scrolledProof : GBin.scrolled_window
method toplevel : GWindow.window
- method viewport1 : GBin.viewport
method xml : Glade.glade_xml Gtk.obj
end
class fileSelectionWin :
val toolBarWin : GWindow.window
val toplevel : GWindow.window
val vbox1 : GPack.box
+ val vbuttonbox1 : GPack.button_box
val xml : Glade.glade_xml Gtk.obj
method bind : name:string -> callback:(unit -> unit) -> unit
method button1 : GButton.button
method toolBarWin : GWindow.window
method toplevel : GWindow.window
method vbox1 : GPack.box
+ method vbuttonbox1 : GPack.button_box
method xml : Glade.glade_xml Gtk.obj
end
class confirmationDialog :
?autoconnect:bool ->
unit ->
object
- val confirmationDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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 :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method toplevel : GWindow.dialog_any
method xml : Glade.glade_xml Gtk.obj
end
class aboutWin :
unit ->
object
val aboutDismissButton : GButton.button
- val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val aboutWin : GWindow.dialog_any
+ val dialog_action_area2 : GPack.button_box
val dialog_vbox2 : GPack.box
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val toplevel : GWindow.dialog_any
val xml : Glade.glade_xml Gtk.obj
method aboutDismissButton : GButton.button
- method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method toplevel : GWindow.dialog_any
method xml : Glade.glade_xml Gtk.obj
end
class uriChoiceDialog :
object
val alignment1 : GBin.alignment
val alignment2 : GBin.alignment
+ val dialog_action_area3 : GPack.button_box
val dialog_vbox3 : GPack.box
val entry1 : GEdit.entry
val hbox1 : GPack.box
val label2 : GMisc.label
val label3 : GMisc.label
val scrolledwindow1 : GBin.scrolled_window
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val toplevel : GWindow.dialog_any
val uriChoiceAbortButton : GButton.button
val uriChoiceAutoButton : GButton.button
val uriChoiceConstantsButton : GButton.button
- val uriChoiceDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val uriChoiceDialog : GWindow.dialog_any
val uriChoiceLabel : GMisc.label
val uriChoiceSelectedButton : GButton.button
val uriChoiceTreeView : GTree.view
method alignment2 : GBin.alignment
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit
+ method dialog_action_area3 : GPack.button_box
method dialog_vbox3 : GPack.box
method entry1 : GEdit.entry
method hbox1 : GPack.box
method label3 : GMisc.label
method reparent : GObj.widget -> unit
method scrolledwindow1 : GBin.scrolled_window
- method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method toplevel : GWindow.dialog_any
method uriChoiceAbortButton : GButton.button
method uriChoiceAutoButton : GButton.button
method uriChoiceConstantsButton : GButton.button
- method uriChoiceDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method uriChoiceDialog : GWindow.dialog_any
method uriChoiceLabel : GMisc.label
method uriChoiceSelectedButton : GButton.button
method uriChoiceTreeView : GTree.view
?autoconnect:bool ->
unit ->
object
+ val dialog_action_area4 : GPack.button_box
val dialog_vbox4 : GPack.box
val interpChoiceCancelButton : GButton.button
- val interpChoiceDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val interpChoiceDialog : GWindow.dialog_any
val interpChoiceHelpButton : GButton.button
val interpChoiceOkButton : GButton.button
val label6 : GMisc.label
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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 :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method interpChoiceDialog : GWindow.dialog_any
method interpChoiceHelpButton : GButton.button
method interpChoiceOkButton : GButton.button
method label6 : GMisc.label
method reparent : GObj.widget -> unit
- method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method toplevel : GWindow.dialog_any
method vbox3 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
?autoconnect:bool ->
unit ->
object
- val emptyDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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 emptyDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method toplevel : GWindow.dialog_any
method xml : Glade.glade_xml Gtk.obj
end
val check_all : ?show:bool -> unit -> unit