new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
method newMenu = newMenu
- val image108 =
+ val image128 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image108" ~info:"GtkImage" xmldata))
- method image108 = image108
+ (Glade.get_widget_msg ~name:"image128" ~info:"GtkImage" xmldata))
+ method image128 = image128
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 image109 =
+ val image129 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image109" ~info:"GtkImage" xmldata))
- method image109 = image109
+ (Glade.get_widget_msg ~name:"image129" ~info:"GtkImage" xmldata))
+ method image129 = image129
val saveMenuItem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
method saveMenuItem = saveMenuItem
- val image110 =
+ val image130 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image110" ~info:"GtkImage" xmldata))
- method image110 = image110
+ (Glade.get_widget_msg ~name:"image130" ~info:"GtkImage" xmldata))
+ method image130 = image130
val saveAsMenuItem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
method saveAsMenuItem = saveAsMenuItem
- val image111 =
+ val image131 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image111" ~info:"GtkImage" xmldata))
- method image111 = image111
+ (Glade.get_widget_msg ~name:"image131" ~info:"GtkImage" xmldata))
+ method image131 = image131
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 image112 =
+ val image132 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image112" ~info:"GtkImage" xmldata))
- method image112 = image112
+ (Glade.get_widget_msg ~name:"image132" ~info:"GtkImage" xmldata))
+ method image132 = image132
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:"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 debugMenu =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
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*) () =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
method checkWin = checkWin
+ val checkWinEventBox =
+ new GBin.event_box (GtkBin.EventBox.cast
+ (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
+ method checkWinEventBox = checkWinEventBox
+ val scrolledCheck =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledCheck = scrolledCheck
+ method reparent parent =
+ checkWinEventBox#misc#reparent parent;
+ 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 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 button5 =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"button5" ~info:"GtkButton" xmldata))
+ method button5 = button5
+ val image133 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
+ method image133 = image133
+ val button6 =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"button6" ~info:"GtkButton" xmldata))
+ method button6 = button6
+ val image134 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
+ method image134 = image134
+ val button7 =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"button7" ~info:"GtkButton" xmldata))
+ method button7 = button7
+ 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
+ method reparent parent =
+ scriptWinEventBox#misc#reparent parent;
+ toplevel#destroy ()
method check_widgets () = ()
end
let check_all ?(show=false) () =
ignore (GMain.Main.init ());
+ 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 ();