new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
method mainWin = mainWin
+ val mainWinEventBox =
+ new GBin.event_box (GtkBin.EventBox.cast
+ (Glade.get_widget_msg ~name:"MainWinEventBox" ~info:"GtkEventBox" xmldata))
+ method mainWinEventBox = mainWinEventBox
val mainWinShape =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
method newMenu = newMenu
- val image76 =
+ val image182 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image76" ~info:"GtkImage" xmldata))
- method image76 = image76
+ (Glade.get_widget_msg ~name:"image182" ~info:"GtkImage" xmldata))
+ method image182 = image182
val newMenu_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
method openMenuItem = openMenuItem
- val image77 =
+ val image183 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image77" ~info:"GtkImage" xmldata))
- method image77 = image77
+ (Glade.get_widget_msg ~name:"image183" ~info:"GtkImage" xmldata))
+ method image183 = image183
val saveMenuItem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
method saveMenuItem = saveMenuItem
- val image78 =
+ val image184 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image78" ~info:"GtkImage" xmldata))
- method image78 = image78
+ (Glade.get_widget_msg ~name:"image184" ~info:"GtkImage" xmldata))
+ method image184 = image184
val saveAsMenuItem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
method saveAsMenuItem = saveAsMenuItem
- val image79 =
+ val image185 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image79" ~info:"GtkImage" xmldata))
- method image79 = image79
+ (Glade.get_widget_msg ~name:"image185" ~info:"GtkImage" xmldata))
+ method image185 = image185
val separator1 =
new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
+ (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata))
method separator1 = separator1
val quitMenuItem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
method quitMenuItem = quitMenuItem
- val image80 =
+ val image186 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image80" ~info:"GtkImage" xmldata))
- method image80 = image80
+ (Glade.get_widget_msg ~name:"image186" ~info:"GtkImage" xmldata))
+ method image186 = image186
val editMenu =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
(Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
method showProofMenuItem = showProofMenuItem
+ val showCheckMenuItem =
+ new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
+ (Glade.get_widget_msg ~name:"ShowCheckMenuItem" ~info:"GtkCheckMenuItem" xmldata))
+ method showCheckMenuItem = showCheckMenuItem
+ val showScriptMenuItem =
+ new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
+ (Glade.get_widget_msg ~name:"ShowScriptMenuItem" ~info:"GtkCheckMenuItem" xmldata))
+ method showScriptMenuItem = showScriptMenuItem
+ val separator3 =
+ new GMenu.menu_item (GtkMenu.MenuItem.cast
+ (Glade.get_widget_msg ~name:"separator3" ~info:"GtkSeparatorMenuItem" xmldata))
+ method separator3 = separator3
+ val showConsoleMenuItem =
+ new GMenu.menu_item (GtkMenu.MenuItem.cast
+ (Glade.get_widget_msg ~name:"ShowConsoleMenuItem" ~info:"GtkMenuItem" xmldata))
+ method showConsoleMenuItem = showConsoleMenuItem
val debugMenu =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
method debugMenu_menu = debugMenu_menu
val separator2 =
new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"separator2" ~info:"GtkMenuItem" xmldata))
+ (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
method separator2 = separator2
val helpMenu =
new GMenu.menu_item (GtkMenu.MenuItem.cast
new GPack.paned (GtkPack.Paned.cast
(Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
method mainVPanes = mainVPanes
- val proofStatus =
- new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"ProofStatus" ~info:"GtkScrolledWindow" xmldata))
- method proofStatus = proofStatus
- val scrolledUserInput =
+ val sequentsNotebook =
+ new GPack.notebook (GtkPack.Notebook.cast
+ (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata))
+ method sequentsNotebook = sequentsNotebook
+ val consoleEventBox =
+ new GBin.event_box (GtkBin.EventBox.cast
+ (Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata))
+ method consoleEventBox = consoleEventBox
+ val consoleHBox =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"ConsoleHBox" ~info:"GtkHBox" xmldata))
+ method consoleHBox = consoleHBox
+ val vbox6 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"vbox6" ~info:"GtkVBox" xmldata))
+ method vbox6 = vbox6
+ val hideConsoleButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"HideConsoleButton" ~info:"GtkButton" xmldata))
+ method hideConsoleButton = hideConsoleButton
+ val image169 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image169" ~info:"GtkImage" xmldata))
+ method image169 = image169
+ val scrolledConsole =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"ScrolledUserInput" ~info:"GtkScrolledWindow" xmldata))
- method scrolledUserInput = scrolledUserInput
+ (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledConsole = scrolledConsole
val mainStatusBar =
new GMisc.statusbar (GtkMisc.Statusbar.cast
(Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
method mainStatusBar = mainStatusBar
method reparent parent =
- mainWinShape#misc#reparent parent;
+ mainWinEventBox#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
method scrolledProof = scrolledProof
- val viewport1 =
- new GBin.viewport (GtkBin.Viewport.cast
- (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
- method viewport1 = viewport1
method reparent parent =
proofWinEventBox#misc#reparent parent;
toplevel#destroy ()
new GWindow.file_selection (GtkWindow.FileSelection.cast
(Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
method fileSelectionWin = fileSelectionWin
- val cancel_button1 =
+ val fileSelCancelButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
- method cancel_button1 = cancel_button1
- val ok_button1 =
+ (Glade.get_widget_msg ~name:"fileSelCancelButton" ~info:"GtkButton" xmldata))
+ method fileSelCancelButton = fileSelCancelButton
+ val fileSelOkButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
- method ok_button1 = ok_button1
+ (Glade.get_widget_msg ~name:"fileSelOkButton" ~info:"GtkButton" xmldata))
+ method fileSelOkButton = fileSelOkButton
method check_widgets () = ()
end
class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
new GBin.event_box (GtkBin.EventBox.cast
(Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
method toolBarEventBox = toolBarEventBox
- val vbox1 =
+ val toolBarVBox =
new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
- method vbox1 = vbox1
- val button1 =
+ (Glade.get_widget_msg ~name:"ToolBarVBox" ~info:"GtkVBox" xmldata))
+ method toolBarVBox = toolBarVBox
+ val toolbar2 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar2" ~info:"GtkToolbar" xmldata))
+ method toolbar2 = toolbar2
+ val introsButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"introsButton" ~info:"GtkButton" xmldata))
+ method introsButton = introsButton
+ val applyButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"applyButton" ~info:"GtkButton" xmldata))
+ method applyButton = applyButton
+ val exactButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"exactButton" ~info:"GtkButton" xmldata))
+ method exactButton = exactButton
+ val toolbar3 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar3" ~info:"GtkToolbar" xmldata))
+ method toolbar3 = toolbar3
+ val elimButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
- method button1 = button1
- val button2 =
+ (Glade.get_widget_msg ~name:"elimButton" ~info:"GtkButton" xmldata))
+ method elimButton = elimButton
+ val elimTypeButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
- method button2 = button2
- val button3 =
+ (Glade.get_widget_msg ~name:"elimTypeButton" ~info:"GtkButton" xmldata))
+ method elimTypeButton = elimTypeButton
+ val toolbar4 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar4" ~info:"GtkToolbar" xmldata))
+ method toolbar4 = toolbar4
+ val splitButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
- method button3 = button3
- val button4 =
+ (Glade.get_widget_msg ~name:"splitButton" ~info:"GtkButton" xmldata))
+ method splitButton = splitButton
+ val leftButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
- method button4 = button4
+ (Glade.get_widget_msg ~name:"leftButton" ~info:"GtkButton" xmldata))
+ method leftButton = leftButton
+ val rightButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"rightButton" ~info:"GtkButton" xmldata))
+ method rightButton = rightButton
+ val existsButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"existsButton" ~info:"GtkButton" xmldata))
+ method existsButton = existsButton
+ val toolbar5 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar5" ~info:"GtkToolbar" xmldata))
+ method toolbar5 = toolbar5
+ val reflexivityButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"reflexivityButton" ~info:"GtkButton" xmldata))
+ method reflexivityButton = reflexivityButton
+ val symmetryButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"symmetryButton" ~info:"GtkButton" xmldata))
+ method symmetryButton = symmetryButton
+ val transitivityButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"transitivityButton" ~info:"GtkButton" xmldata))
+ method transitivityButton = transitivityButton
+ val toolbar8 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar8" ~info:"GtkToolbar" xmldata))
+ method toolbar8 = toolbar8
+ val simplifyButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"simplifyButton" ~info:"GtkButton" xmldata))
+ method simplifyButton = simplifyButton
+ val reduceButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"reduceButton" ~info:"GtkButton" xmldata))
+ method reduceButton = reduceButton
+ val whdButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"whdButton" ~info:"GtkButton" xmldata))
+ method whdButton = whdButton
+ val toolbar6 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
+ method toolbar6 = toolbar6
+ val assumptionButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
+ method assumptionButton = assumptionButton
+ val autoButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
+ method autoButton = autoButton
+ val toolbar7 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
+ method toolbar7 = toolbar7
+ val cutButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
+ method cutButton = cutButton
+ val replaceButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
+ method replaceButton = replaceButton
method reparent parent =
toolBarEventBox#misc#reparent parent;
toplevel#destroy ()
let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val toplevel =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
method toplevel = toplevel
- val confirmationDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val confirmationDialog =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
method confirmationDialog = confirmationDialog
val dialog_vbox1 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
method dialog_vbox1 = dialog_vbox1
+ val dialog_action_area1 =
+ new GPack.button_box (GtkPack.BBox.cast
+ (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
+ method dialog_action_area1 = dialog_action_area1
val confirmationDialogCancelButton =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val toplevel =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
method toplevel = toplevel
- val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val aboutWin =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
method aboutWin = aboutWin
val dialog_vbox2 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
method dialog_vbox2 = dialog_vbox2
+ val dialog_action_area2 =
+ new GPack.button_box (GtkPack.BBox.cast
+ (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
+ method dialog_action_area2 = dialog_action_area2
val aboutDismissButton =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
method aboutDismissButton = aboutDismissButton
+ val aboutLabel =
+ new GMisc.label (GtkMisc.Label.cast
+ (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
+ method aboutLabel = aboutLabel
method reparent parent =
dialog_vbox2#misc#reparent parent;
toplevel#destroy ()
let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val toplevel =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
method toplevel = toplevel
- val uriChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val uriChoiceDialog =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
method uriChoiceDialog = uriChoiceDialog
val dialog_vbox3 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
method dialog_vbox3 = dialog_vbox3
+ val dialog_action_area3 =
+ new GPack.button_box (GtkPack.BBox.cast
+ (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
+ method dialog_action_area3 = dialog_action_area3
val uriChoiceAbortButton =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val toplevel =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
method toplevel = toplevel
- val interpChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val interpChoiceDialog =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
method interpChoiceDialog = interpChoiceDialog
val dialog_vbox4 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
method dialog_vbox4 = dialog_vbox4
+ val dialog_action_area4 =
+ new GPack.button_box (GtkPack.BBox.cast
+ (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
+ method dialog_action_area4 = dialog_action_area4
val interpChoiceHelpButton =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
method vbox3 = vbox3
- val label6 =
+ val interpChoiceDialogLabel =
new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
- method label6 = label6
+ (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
+ method interpChoiceDialogLabel = interpChoiceDialogLabel
+ val scrolledwindow4 =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledwindow4 = scrolledwindow4
+ val interpChoiceTreeView =
+ new GTree.view (GtkTree.TreeView.cast
+ (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
+ method interpChoiceTreeView = interpChoiceTreeView
method reparent parent =
dialog_vbox4#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
+class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+ let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
+ object (self)
+ inherit Glade.xml ?autoconnect xmldata
+ val toplevel =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
+ (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
+ method toplevel = toplevel
+ val emptyDialog =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
+ (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
+ method emptyDialog = emptyDialog
+ val emptyDialogVBox =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
+ method emptyDialogVBox = emptyDialogVBox
+ val dialog_action_area5 =
+ new GPack.button_box (GtkPack.BBox.cast
+ (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
+ method dialog_action_area5 = dialog_action_area5
+ val emptyDialogCancelButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
+ method emptyDialogCancelButton = emptyDialogCancelButton
+ val emptyDialogOkButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
+ method emptyDialogOkButton = emptyDialogOkButton
+ val emptyDialogLabel =
+ new GMisc.label (GtkMisc.Label.cast
+ (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
+ method emptyDialogLabel = emptyDialogLabel
+ method reparent parent =
+ emptyDialogVBox#misc#reparent parent;
+ toplevel#destroy ()
+ method check_widgets () = ()
+ end
+class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+ let xmldata = Glade.create ~file ~root:"CheckWin" ?domain () in
+ object (self)
+ inherit Glade.xml ?autoconnect xmldata
+ val toplevel =
+ new GWindow.window (GtkWindow.Window.cast
+ (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
+ method toplevel = toplevel
+ val checkWin =
+ new GWindow.window (GtkWindow.Window.cast
+ (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
+ method checkWin = checkWin
+ val checkWinEventBox =
+ new GBin.event_box (GtkBin.EventBox.cast
+ (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
+ method checkWinEventBox = checkWinEventBox
+ val scrolledCheck =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledCheck = scrolledCheck
+ method reparent parent =
+ checkWinEventBox#misc#reparent parent;
+ toplevel#destroy ()
+ method check_widgets () = ()
+ end
+class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+ let xmldata = Glade.create ~file ~root:"ScriptWin" ?domain () in
+ object (self)
+ inherit Glade.xml ?autoconnect xmldata
+ val toplevel =
+ new GWindow.window (GtkWindow.Window.cast
+ (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
+ method toplevel = toplevel
+ val scriptWin =
+ new GWindow.window (GtkWindow.Window.cast
+ (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
+ method scriptWin = scriptWin
+ val scriptWinEventBox =
+ new GBin.event_box (GtkBin.EventBox.cast
+ (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
+ method scriptWinEventBox = scriptWinEventBox
+ val scriptNotebook =
+ new GPack.notebook (GtkPack.Notebook.cast
+ (Glade.get_widget_msg ~name:"scriptNotebook" ~info:"GtkNotebook" xmldata))
+ method scriptNotebook = scriptNotebook
+ val vbox4 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
+ method vbox4 = vbox4
+ val toolbar1 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
+ method toolbar1 = toolbar1
+ val scriptWinBackButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
+ method scriptWinBackButton = scriptWinBackButton
+ val image133 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
+ method image133 = image133
+ val scriptWinJumpButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
+ method scriptWinJumpButton = scriptWinJumpButton
+ val image134 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
+ method image134 = image134
+ val scriptWinForwardButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
+ method scriptWinForwardButton = scriptWinForwardButton
+ val image135 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
+ method image135 = image135
+ val scrolledScript =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledScript = scrolledScript
+ val scriptTextView =
+ new GText.view (GtkText.View.cast
+ (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
+ method scriptTextView = scriptTextView
+ val label7 =
+ new GMisc.label (GtkMisc.Label.cast
+ (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
+ method label7 = label7
+ val scrolledwindow3 =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"scrolledwindow3" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledwindow3 = scrolledwindow3
+ val treeview1 =
+ new GTree.view (GtkTree.TreeView.cast
+ (Glade.get_widget_msg ~name:"treeview1" ~info:"GtkTreeView" xmldata))
+ method treeview1 = treeview1
+ val label8 =
+ new GMisc.label (GtkMisc.Label.cast
+ (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
+ method label8 = label8
+ method reparent parent =
+ scriptWinEventBox#misc#reparent parent;
+ toplevel#destroy ()
+ method check_widgets () = ()
+ end
class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
let xmldata = Glade.create ~file ~root:"TextDialog" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val toplevel =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
method toplevel = toplevel
- val textDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
+ val textDialog =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
(Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
method textDialog = textDialog
- val textDialogVBox =
+ val vbox5 =
new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"TextDialogVBox" ~info:"GtkVBox" xmldata))
- method textDialogVBox = textDialogVBox
+ (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
+ method vbox5 = vbox5
+ val hbuttonbox1 =
+ new GPack.button_box (GtkPack.BBox.cast
+ (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
+ method hbuttonbox1 = hbuttonbox1
val textDialogCancelButton =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
new GMisc.label (GtkMisc.Label.cast
(Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
method textDialogLabel = textDialogLabel
+ val scrolledwindow2 =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledwindow2 = scrolledwindow2
+ val textDialogTextView =
+ new GText.view (GtkText.View.cast
+ (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
+ method textDialogTextView = textDialogTextView
+ method reparent parent =
+ vbox5#misc#reparent parent;
+ toplevel#destroy ()
+ method check_widgets () = ()
+ end
+class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+ let xmldata = Glade.create ~file ~root:"BrowserWin" ?domain () in
+ object (self)
+ inherit Glade.xml ?autoconnect xmldata
+ val toplevel =
+ new GWindow.window (GtkWindow.Window.cast
+ (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
+ method toplevel = toplevel
+ val browserWin =
+ new GWindow.window (GtkWindow.Window.cast
+ (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
+ method browserWin = browserWin
+ val browserWinEventBox =
+ new GBin.event_box (GtkBin.EventBox.cast
+ (Glade.get_widget_msg ~name:"BrowserWinEventBox" ~info:"GtkEventBox" xmldata))
+ method browserWinEventBox = browserWinEventBox
+ val vbox7 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
+ method vbox7 = vbox7
+ val hbox7 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
+ method hbox7 = hbox7
+ val browserBackButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"BrowserBackButton" ~info:"GtkButton" xmldata))
+ method browserBackButton = browserBackButton
+ val alignment3 =
+ new GBin.alignment (GtkBin.Alignment.cast
+ (Glade.get_widget_msg ~name:"alignment3" ~info:"GtkAlignment" xmldata))
+ method alignment3 = alignment3
+ val hbox6 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"hbox6" ~info:"GtkHBox" xmldata))
+ method hbox6 = hbox6
+ val image188 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image188" ~info:"GtkImage" xmldata))
+ method image188 = image188
+ val label10 =
+ new GMisc.label (GtkMisc.Label.cast
+ (Glade.get_widget_msg ~name:"label10" ~info:"GtkLabel" xmldata))
+ method label10 = label10
+ val browserForwardButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"BrowserForwardButton" ~info:"GtkButton" xmldata))
+ method browserForwardButton = browserForwardButton
+ val image189 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image189" ~info:"GtkImage" xmldata))
+ method image189 = image189
+ val browserHomeButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"BrowserHomeButton" ~info:"GtkButton" xmldata))
+ method browserHomeButton = browserHomeButton
+ val image190 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image190" ~info:"GtkImage" xmldata))
+ method image190 = image190
+ val image187 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image187" ~info:"GtkImage" xmldata))
+ method image187 = image187
+ val browserNotebook =
+ new GPack.notebook (GtkPack.Notebook.cast
+ (Glade.get_widget_msg ~name:"BrowserNotebook" ~info:"GtkNotebook" xmldata))
+ method browserNotebook = browserNotebook
+ val label9 =
+ new GMisc.label (GtkMisc.Label.cast
+ (Glade.get_widget_msg ~name:"label9" ~info:"GtkLabel" xmldata))
+ method label9 = label9
method reparent parent =
- textDialogVBox#misc#reparent parent;
+ browserWinEventBox#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
let check_all ?(show=false) () =
ignore (GMain.Main.init ());
+ let browserWin = new browserWin () in
+ if show then browserWin#toplevel#show ();
+ browserWin#check_widgets ();
let textDialog = new textDialog () in
if show then textDialog#toplevel#show ();
textDialog#check_widgets ();
+ let scriptWin = new scriptWin () in
+ if show then scriptWin#toplevel#show ();
+ scriptWin#check_widgets ();
+ let checkWin = new checkWin () in
+ if show then checkWin#toplevel#show ();
+ checkWin#check_widgets ();
+ let emptyDialog = new emptyDialog () in
+ if show then emptyDialog#toplevel#show ();
+ emptyDialog#check_widgets ();
let interpChoiceDialog = new interpChoiceDialog () in
if show then interpChoiceDialog#toplevel#show ();
interpChoiceDialog#check_widgets ();