new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
method newMenu = newMenu
- val image128 =
+ val image174 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image128" ~info:"GtkImage" xmldata))
- method image128 = image128
+ (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))
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
method openMenuItem = openMenuItem
- val image129 =
+ val image175 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image129" ~info:"GtkImage" xmldata))
- method image129 = image129
+ (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 image130 =
+ val image176 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image130" ~info:"GtkImage" xmldata))
- method image130 = image130
+ (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 image131 =
+ val image177 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image131" ~info:"GtkImage" xmldata))
- method image131 = image131
+ (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))
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
method quitMenuItem = quitMenuItem
- val image132 =
+ val image178 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image132" ~info:"GtkImage" xmldata))
- method image132 = image132
+ (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))
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))
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))
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))
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))
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
method assumptionButton = assumptionButton
- val searchButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"searchButton" ~info:"GtkButton" xmldata))
- method searchButton = searchButton
val autoButton =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"autoButton" ~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 ()
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))
new GButton.toolbar (GtkButton.Toolbar.cast
(Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
method toolbar1 = toolbar1
- val button5 =
+ val scriptWinBackButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button5" ~info:"GtkButton" xmldata))
- method button5 = button5
+ (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 button6 =
+ val scriptWinJumpButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button6" ~info:"GtkButton" xmldata))
- method button6 = button6
+ (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 button7 =
+ val scriptWinForwardButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button7" ~info:"GtkButton" xmldata))
- method button7 = button7
+ (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))
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 ()