X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGeneratedGui.ml;h=883cb634ee5a30fe6fc2d232bf6c1ebc999b6071;hb=e09713d333183e929f108ff8bb8fbe2a25bfcac7;hp=943f78ff861aed5f70ba13a55bed0a70f34a7e1c;hpb=3705200c998538c28d8cd9d3ca557616837daf05;p=helm.git diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml index 943f78ff8..883cb634e 100644 --- a/helm/matita/matitaGeneratedGui.ml +++ b/helm/matita/matitaGeneratedGui.ml @@ -36,10 +36,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata)) method newMenu = newMenu - val image116 = + val image174 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image116" ~info:"GtkImage" xmldata)) - method image116 = image116 + (Glade.get_widget_msg ~name:"image174" ~info:"GtkImage" xmldata)) + method image174 = image174 val newMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata)) @@ -56,26 +56,26 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata)) method openMenuItem = openMenuItem - val image117 = + val image175 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image117" ~info:"GtkImage" xmldata)) - method image117 = image117 + (Glade.get_widget_msg ~name:"image175" ~info:"GtkImage" xmldata)) + method image175 = image175 val saveMenuItem = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata)) method saveMenuItem = saveMenuItem - val image118 = + val image176 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image118" ~info:"GtkImage" xmldata)) - method image118 = image118 + (Glade.get_widget_msg ~name:"image176" ~info:"GtkImage" xmldata)) + method image176 = image176 val saveAsMenuItem = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata)) method saveAsMenuItem = saveAsMenuItem - val image119 = + val image177 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image119" ~info:"GtkImage" xmldata)) - method image119 = image119 + (Glade.get_widget_msg ~name:"image177" ~info:"GtkImage" xmldata)) + method image177 = image177 val separator1 = new GMenu.menu_item (GtkMenu.MenuItem.cast (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata)) @@ -84,10 +84,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata)) method quitMenuItem = quitMenuItem - val image120 = + val image178 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image120" ~info:"GtkImage" xmldata)) - method image120 = image120 + (Glade.get_widget_msg ~name:"image178" ~info:"GtkImage" xmldata)) + method image178 = image178 val editMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata)) @@ -112,6 +112,18 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = 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)) @@ -140,14 +152,6 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GPack.paned (GtkPack.Paned.cast (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata)) method mainVPanes = mainVPanes - val scrolledSequents = - new GBin.scrolled_window (GtkBin.ScrolledWindow.cast - (Glade.get_widget_msg ~name:"ScrolledSequents" ~info:"GtkScrolledWindow" xmldata)) - method scrolledSequents = scrolledSequents - val viewport1 = - new GBin.viewport (GtkBin.Viewport.cast - (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata)) - method viewport1 = viewport1 val sequentsNotebook = new GPack.notebook (GtkPack.Notebook.cast (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata)) @@ -156,6 +160,22 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = 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)) @@ -206,14 +226,14 @@ class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = 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*) () = @@ -232,30 +252,114 @@ 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 vbuttonbox1 = - new GPack.button_box (GtkPack.BBox.cast - (Glade.get_widget_msg ~name:"vbuttonbox1" ~info:"GtkVButtonBox" xmldata)) - method vbuttonbox1 = vbuttonbox1 - 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:"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:"button1" ~info:"GtkButton" xmldata)) - method button1 = button1 - val button2 = + (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:"button2" ~info:"GtkButton" xmldata)) - method button2 = button2 - val button3 = + (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:"button3" ~info:"GtkButton" xmldata)) - method button3 = button3 - val button4 = + (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:"button4" ~info:"GtkButton" xmldata)) - method button4 = button4 + (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 () @@ -468,10 +572,18 @@ class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () 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 () @@ -539,9 +651,141 @@ class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = 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 = + new GWindow.dialog_any (GtkWindow.Dialog.cast + (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata)) + method toplevel = toplevel + val textDialog = + new GWindow.dialog_any (GtkWindow.Dialog.cast + (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata)) + method textDialog = textDialog + val vbox5 = + new GPack.box (GtkPack.Box.cast + (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)) + method textDialogCancelButton = textDialogCancelButton + val textDialogOkButton = + new GButton.button (GtkButton.Button.cast + (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata)) + method textDialogOkButton = textDialogOkButton + val textDialogLabel = + 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 let check_all ?(show=false) () = ignore (GMain.Main.init ()); + 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 ();