new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
method newMenu = newMenu
- val image164 =
+ val image182 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image164" ~info:"GtkImage" xmldata))
- method image164 = image164
+ (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 image165 =
+ val image183 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image165" ~info:"GtkImage" xmldata))
- method image165 = image165
+ (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 image166 =
+ val image184 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image166" ~info:"GtkImage" xmldata))
- method image166 = image166
+ (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 image167 =
+ val image185 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image167" ~info:"GtkImage" xmldata))
- method image167 = image167
+ (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:"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 image186 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image168" ~info:"GtkImage" xmldata))
- method image168 = image168
+ (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 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))
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 =
+ 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 ();
projects / helm.git / blobdiff