+ (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 vbox7 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
+ method vbox7 = vbox7
+ val handlebox2 =
+ new GBin.handle_box (GtkBin.HandleBox.cast
+ (Glade.get_widget_msg ~name:"handlebox2" ~info:"GtkHandleBox" xmldata))
+ method handlebox2 = handlebox2
+ val hbox8 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"hbox8" ~info:"GtkHBox" xmldata))
+ method hbox8 = hbox8
+ val scriptWinTopButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"ScriptWinTopButton" ~info:"GtkButton" xmldata))
+ method scriptWinTopButton = scriptWinTopButton
+ val image235 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image235" ~info:"GtkImage" xmldata))
+ method image235 = image235
+ val scriptWinBackButton =
+ new GButton.button (GtkButton.Button.cast
+ (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 scriptWinJumpButton =
+ new GButton.button (GtkButton.Button.cast
+ (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 scriptWinForwardButton =
+ new GButton.button (GtkButton.Button.cast
+ (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))
+ method image135 = image135
+ val scriptWinBottomButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"ScriptWinBottomButton" ~info:"GtkButton" xmldata))
+ method scriptWinBottomButton = scriptWinBottomButton
+ val image236 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image236" ~info:"GtkImage" xmldata))
+ method image236 = image236
+ val scriptNotebook =
+ new GPack.notebook (GtkPack.Notebook.cast
+ (Glade.get_widget_msg ~name:"ScriptNotebook" ~info:"GtkNotebook" xmldata))
+ method scriptNotebook = scriptNotebook
+ 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
+ val label7 =
+ new GMisc.label (GtkMisc.Label.cast
+ (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
+ method label7 = label7
+ val scrolledOutline =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"ScrolledOutline" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledOutline = scrolledOutline
+ 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 ()
+ method check_widgets () = ()
+ end
+class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+ let xmldata = Glade.create ~file ~root:"TextDialog" ?domain () in
+ object (self)
+ inherit Glade.xml ?autoconnect xmldata
+ val toplevel =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
+ (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
+ method toplevel = toplevel
+ val textDialog =
+ new GWindow.dialog_any (GtkWindow.Dialog.cast
+ (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
+ method textDialog = textDialog
+ val vbox5 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
+ method vbox5 = vbox5
+ val hbuttonbox1 =
+ new GPack.button_box (GtkPack.BBox.cast
+ (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
+ method hbuttonbox1 = hbuttonbox1
+ val textDialogCancelButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
+ method textDialogCancelButton = textDialogCancelButton
+ val textDialogOkButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
+ method textDialogOkButton = textDialogOkButton
+ val textDialogLabel =
+ new GMisc.label (GtkMisc.Label.cast
+ (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
+ method textDialogLabel = textDialogLabel
+ val scrolledwindow2 =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledwindow2 = scrolledwindow2
+ val textDialogTextView =
+ new GText.view (GtkText.View.cast
+ (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
+ method textDialogTextView = textDialogTextView
+ method reparent parent =
+ vbox5#misc#reparent parent;
+ 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 browserVBox =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"BrowserVBox" ~info:"GtkVBox" xmldata))
+ method browserVBox = browserVBox
+ val handlebox1 =
+ new GBin.handle_box (GtkBin.HandleBox.cast
+ (Glade.get_widget_msg ~name:"handlebox1" ~info:"GtkHandleBox" xmldata))
+ method handlebox1 = handlebox1
+ val hbox7 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
+ method hbox7 = hbox7
+ val browserNewButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"BrowserNewButton" ~info:"GtkButton" xmldata))
+ method browserNewButton = browserNewButton
+ val image191 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image191" ~info:"GtkImage" xmldata))
+ method image191 = image191
+ 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 browserRefreshButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"BrowserRefreshButton" ~info:"GtkButton" xmldata))
+ method browserRefreshButton = browserRefreshButton
+ val image229 =
+ new GMisc.image (GtkMisc.Image.cast
+ (Glade.get_widget_msg ~name:"image229" ~info:"GtkImage" xmldata))
+ method image229 = image229
+ 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 browserUri =
+ new GEdit.entry (GtkEdit.Entry.cast
+ (Glade.get_widget_msg ~name:"BrowserUri" ~info:"GtkEntry" xmldata))
+ method browserUri = browserUri
+ val frame1 =
+ new GBin.frame (GtkBin.Frame.cast
+ (Glade.get_widget_msg ~name:"frame1" ~info:"GtkFrame" xmldata))
+ method frame1 = frame1
+ val scrolledBrowser =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"ScrolledBrowser" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledBrowser = scrolledBrowser
+ method reparent parent =
+ browserWinEventBox#misc#reparent parent;
+ toplevel#destroy ()