new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
method newMenu = newMenu
- val image164 =
+ val image174 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image164" ~info:"GtkImage" xmldata))
- method image164 = image164
+ (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 image165 =
+ val image175 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image165" ~info:"GtkImage" xmldata))
- method image165 = image165
+ (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 image166 =
+ val image176 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image166" ~info:"GtkImage" xmldata))
- method image166 = image166
+ (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 image167 =
+ val image177 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image167" ~info:"GtkImage" xmldata))
- method image167 = image167
+ (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 image168 =
+ val image178 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image168" ~info:"GtkImage" xmldata))
- method image168 = image168
+ (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 GBin.event_box (GtkBin.EventBox.cast
(Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata))
method consoleEventBox = consoleEventBox
- val hbox4 =
+ val consoleHBox =
new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"hbox4" ~info:"GtkHBox" xmldata))
- method hbox4 = hbox4
+ (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))
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))