unit ->
object
val aboutMenuItem : GMenu.menu_item
+ val consoleEventBox : GBin.event_box
val debugMenu : GMenu.menu_item
- val debugMenuItem0 : GMenu.menu_item
- val debugMenuItem1 : GMenu.menu_item
- val debugMenuItem2 : GMenu.menu_item
val debugMenu_menu : GMenu.menu
val editMenu : GMenu.menu_item
val fileMenu : GMenu.menu_item
val fileMenu_menu : GMenu.menu
val helpMenu : GMenu.menu_item
val helpMenu_menu : GMenu.menu
- val image40 : GMisc.image
- val image41 : GMisc.image
- val image42 : GMisc.image
- val image43 : GMisc.image
- val image44 : GMisc.image
+ val image108 : GMisc.image
+ val image109 : GMisc.image
+ val image110 : GMisc.image
+ val image111 : GMisc.image
+ val image112 : GMisc.image
val mainMenuBar : GMenu.menu_shell
val mainStatusBar : GMisc.statusbar
val mainVPanes : GPack.paned
val mainWin : GWindow.window
+ val mainWinEventBox : GBin.event_box
val mainWinShape : GPack.box
val newDefsMenuItem : GMenu.menu_item
val newMenu : GMenu.image_menu_item
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 sequentsNotebook : GPack.notebook
+ val showCheckMenuItem : GMenu.check_menu_item
val showProofMenuItem : GMenu.check_menu_item
val showToolBarMenuItem : GMenu.check_menu_item
val toplevel : GWindow.window
val viewMenu : GMenu.menu_item
val viewMenu_menu : GMenu.menu
+ val viewport1 : GBin.viewport
val xml : Glade.glade_xml Gtk.obj
method aboutMenuItem : GMenu.menu_item
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit
+ method consoleEventBox : GBin.event_box
method debugMenu : GMenu.menu_item
- method debugMenuItem0 : GMenu.menu_item
- method debugMenuItem1 : GMenu.menu_item
- method debugMenuItem2 : GMenu.menu_item
method debugMenu_menu : GMenu.menu
method editMenu : GMenu.menu_item
method fileMenu : GMenu.menu_item
method fileMenu_menu : GMenu.menu
method helpMenu : GMenu.menu_item
method helpMenu_menu : GMenu.menu
- method image40 : GMisc.image
- method image41 : GMisc.image
- method image42 : GMisc.image
- method image43 : GMisc.image
- method image44 : GMisc.image
+ method image108 : GMisc.image
+ method image109 : GMisc.image
+ method image110 : GMisc.image
+ method image111 : GMisc.image
+ method image112 : GMisc.image
method mainMenuBar : GMenu.menu_shell
method mainStatusBar : GMisc.statusbar
method mainVPanes : GPack.paned
method mainWin : GWindow.window
+ method mainWinEventBox : GBin.event_box
method mainWinShape : GPack.box
method newDefsMenuItem : GMenu.menu_item
method newMenu : GMenu.image_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 sequentsNotebook : GPack.notebook
+ method showCheckMenuItem : GMenu.check_menu_item
method showProofMenuItem : GMenu.check_menu_item
method showToolBarMenuItem : GMenu.check_menu_item
method toplevel : GWindow.window
method viewMenu : GMenu.menu_item
method viewMenu_menu : GMenu.menu
+ method viewport1 : GBin.viewport
method xml : Glade.glade_xml Gtk.obj
end
class proofWin :
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 genericDialog :
+class confirmationDialog :
?file:string ->
?domain:string ->
?autoconnect:bool ->
unit ->
object
- val cancelbutton1 : GButton.button
+ 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 genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val okbutton1 : GButton.button
- 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 cancelbutton1 : GButton.button
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 genericDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method okbutton1 : GButton.button
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 aboutLabel : GMisc.label
+ 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 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 : [ `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
-class debug :
+class emptyDialog :
?file:string ->
?domain:string ->
?autoconnect:bool ->
unit ->
object
- val cancelbutton2 : GButton.button
- val debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val dialog_vbox5 : GPack.box
- val okbutton2 : GButton.button
- val toplevel : [ `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 : GWindow.dialog_any
val xml : Glade.glade_xml Gtk.obj
method bind : name:string -> callback:(unit -> unit) -> unit
- method cancelbutton2 : GButton.button
method check_widgets : unit -> unit
- method debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method dialog_vbox5 : GPack.box
- method okbutton2 : GButton.button
+ 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
+class checkWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val checkWin : GWindow.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 check_widgets : unit -> unit
+ method toplevel : GWindow.window
method xml : Glade.glade_xml Gtk.obj
end
val check_all : ?show:bool -> unit -> unit
projects / helm.git / blobdiff