-class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"MainWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
- method toplevel = toplevel
- val mainWin =
- 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))
- method mainWinShape = mainWinShape
- val mainMenuBar =
- new GMenu.menu_shell (GtkMenu.MenuBar.cast
- (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
- method mainMenuBar = mainMenuBar
- val fileMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
- method fileMenu = fileMenu
- val fileMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
- method fileMenu_menu = fileMenu_menu
- val newMenu =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
- method newMenu = newMenu
- val image224 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image224" ~info:"GtkImage" xmldata))
- method image224 = image224
- val newMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
- method newMenu_menu = newMenu_menu
- val newProofMenuItem =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
- method newProofMenuItem = newProofMenuItem
- val newDefsMenuItem =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
- method newDefsMenuItem = newDefsMenuItem
- val openMenuItem =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
- method openMenuItem = openMenuItem
- val image225 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image225" ~info:"GtkImage" xmldata))
- method image225 = image225
- val saveMenuItem =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
- method saveMenuItem = saveMenuItem
- val image226 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image226" ~info:"GtkImage" xmldata))
- method image226 = image226
- val saveAsMenuItem =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
- method saveAsMenuItem = saveAsMenuItem
- val image227 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image227" ~info:"GtkImage" xmldata))
- method image227 = image227
- val separator1 =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (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 image228 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image228" ~info:"GtkImage" xmldata))
- method image228 = image228
- val editMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
- method editMenu = editMenu
- val viewMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
- method viewMenu = viewMenu
- val viewMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
- method viewMenu_menu = viewMenu_menu
- val showToolBarMenuItem =
- new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
- (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
- method showToolBarMenuItem = showToolBarMenuItem
- val newCicBrowserMenuItem =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"NewCicBrowserMenuItem" ~info:"GtkMenuItem" xmldata))
- method newCicBrowserMenuItem = newCicBrowserMenuItem
- 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 = debugMenu
- val debugMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
- method debugMenu_menu = debugMenu_menu
- val separator2 =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
- method separator2 = separator2
- val helpMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
- method helpMenu = helpMenu
- val helpMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
- method helpMenu_menu = helpMenu_menu
- val aboutMenuItem =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
- method aboutMenuItem = aboutMenuItem
- val mainVPanes =
- new GPack.paned (GtkPack.Paned.cast
- (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
- method mainVPanes = mainVPanes
- 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:"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 =
- mainWinEventBox#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.file_selection (GtkWindow.FileSelection.cast
- (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
- method toplevel = toplevel
- val fileSelectionWin =
- new GWindow.file_selection (GtkWindow.FileSelection.cast
- (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
- method fileSelectionWin = fileSelectionWin
- val fileSelCancelButton =
- new GButton.button (GtkButton.Button.cast
- (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:"fileSelOkButton" ~info:"GtkButton" xmldata))
- method fileSelOkButton = fileSelOkButton
- method check_widgets () = ()
- end
-class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
- method toplevel = toplevel
- val toolBarWin =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
- method toolBarWin = toolBarWin
- val toolBarEventBox =
- new GBin.event_box (GtkBin.EventBox.cast
- (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
- method toolBarEventBox = toolBarEventBox
- val toolBarVBox =
- new GPack.box (GtkPack.Box.cast
- (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:"elimButton" ~info:"GtkButton" xmldata))
- method elimButton = elimButton
- val elimTypeButton =
- new GButton.button (GtkButton.Button.cast
- (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:"splitButton" ~info:"GtkButton" xmldata))
- method splitButton = splitButton
- val leftButton =
- new GButton.button (GtkButton.Button.cast
- (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 ()
- method check_widgets () = ()
- end
-class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.dialog_any (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
- method toplevel = toplevel
- 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))
- method confirmationDialogCancelButton = confirmationDialogCancelButton
- val confirmationDialogOkButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
- method confirmationDialogOkButton = confirmationDialogOkButton
- val confirmationDialogLabel =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
- method confirmationDialogLabel = confirmationDialogLabel
- method reparent parent =
- dialog_vbox1#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end