new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
method newMenu = newMenu
- val image13 =
+ val image40 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image13" ~info:"GtkImage" xmldata))
- method image13 = image13
+ (Glade.get_widget_msg ~name:"image40" ~info:"GtkImage" xmldata))
+ method image40 = image40
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 image14 =
+ val image41 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image14" ~info:"GtkImage" xmldata))
- method image14 = image14
+ (Glade.get_widget_msg ~name:"image41" ~info:"GtkImage" xmldata))
+ method image41 = image41
val saveMenuItem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
method saveMenuItem = saveMenuItem
- val image15 =
+ val image42 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image15" ~info:"GtkImage" xmldata))
- method image15 = image15
+ (Glade.get_widget_msg ~name:"image42" ~info:"GtkImage" xmldata))
+ method image42 = image42
val saveAsMenuItem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
method saveAsMenuItem = saveAsMenuItem
- val image16 =
+ val image43 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image16" ~info:"GtkImage" xmldata))
- method image16 = image16
+ (Glade.get_widget_msg ~name:"image43" ~info:"GtkImage" xmldata))
+ method image43 = image43
val separator1 =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
method quitMenuItem = quitMenuItem
- val image17 =
+ val image44 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image17" ~info:"GtkImage" xmldata))
- method image17 = image17
+ (Glade.get_widget_msg ~name:"image44" ~info:"GtkImage" xmldata))
+ method image44 = image44
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:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
method showProofMenuItem = showProofMenuItem
+ 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 debugMenuItem0 =
+ new GMenu.menu_item (GtkMenu.MenuItem.cast
+ (Glade.get_widget_msg ~name:"DebugMenuItem0" ~info:"GtkMenuItem" xmldata))
+ method debugMenuItem0 = debugMenuItem0
+ val debugMenuItem1 =
+ new GMenu.menu_item (GtkMenu.MenuItem.cast
+ (Glade.get_widget_msg ~name:"DebugMenuItem1" ~info:"GtkMenuItem" xmldata))
+ method debugMenuItem1 = debugMenuItem1
+ val debugMenuItem2 =
+ new GMenu.menu_item (GtkMenu.MenuItem.cast
+ (Glade.get_widget_msg ~name:"DebugMenuItem2" ~info:"GtkMenuItem" xmldata))
+ method debugMenuItem2 = debugMenuItem2
val helpMenu =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
toplevel#destroy ()
method check_widgets () = ()
end
+class debug ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
+ let xmldata = Glade.create ~file ~root:"Debug" ?domain () in
+ object (self)
+ inherit Glade.xml ?autoconnect xmldata
+ val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+ new GWindow.dialog (GtkWindow.Dialog.cast
+ (Glade.get_widget_msg ~name:"Debug" ~info:"GtkDialog" xmldata))
+ method toplevel = toplevel
+ val debug : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+ new GWindow.dialog (GtkWindow.Dialog.cast
+ (Glade.get_widget_msg ~name:"Debug" ~info:"GtkDialog" xmldata))
+ method debug = debug
+ val dialog_vbox5 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"dialog-vbox5" ~info:"GtkVBox" xmldata))
+ method dialog_vbox5 = dialog_vbox5
+ val cancelbutton2 =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"cancelbutton2" ~info:"GtkButton" xmldata))
+ method cancelbutton2 = cancelbutton2
+ val okbutton2 =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"okbutton2" ~info:"GtkButton" xmldata))
+ method okbutton2 = okbutton2
+ method reparent parent =
+ dialog_vbox5#misc#reparent parent;
+ toplevel#destroy ()
+ method check_widgets () = ()
+ end
let check_all ?(show=false) () =
ignore (GMain.Main.init ());
+ let debug = new debug () in
+ if show then debug#toplevel#show ();
+ debug#check_widgets ();
let interpChoiceDialog = new interpChoiceDialog () in
if show then interpChoiceDialog#toplevel#show ();
interpChoiceDialog#check_widgets ();