-class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.dialog_any (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
- method toplevel = toplevel
- val interpChoiceDialog =
- new GWindow.dialog_any (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
- method interpChoiceDialog = interpChoiceDialog
- val dialog_vbox4 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
- method dialog_vbox4 = dialog_vbox4
- val dialog_action_area4 =
- new GPack.button_box (GtkPack.BBox.cast
- (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
- method dialog_action_area4 = dialog_action_area4
- val interpChoiceHelpButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
- method interpChoiceHelpButton = interpChoiceHelpButton
- val interpChoiceCancelButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
- method interpChoiceCancelButton = interpChoiceCancelButton
- val interpChoiceOkButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
- method interpChoiceOkButton = interpChoiceOkButton
- val vbox3 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
- method vbox3 = vbox3
- val interpChoiceDialogLabel =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
- method interpChoiceDialogLabel = interpChoiceDialogLabel
- val scrolledwindow4 =
- new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
- method scrolledwindow4 = scrolledwindow4
- val interpChoiceTreeView =
- new GTree.view (GtkTree.TreeView.cast
- (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
- method interpChoiceTreeView = interpChoiceTreeView
- method reparent parent =
- dialog_vbox4#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.dialog_any (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
- method toplevel = toplevel
- val emptyDialog =
- new GWindow.dialog_any (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
- method emptyDialog = emptyDialog
- val emptyDialogVBox =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
- method emptyDialogVBox = emptyDialogVBox
- val dialog_action_area5 =
- new GPack.button_box (GtkPack.BBox.cast
- (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
- method dialog_action_area5 = dialog_action_area5
- val emptyDialogCancelButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
- method emptyDialogCancelButton = emptyDialogCancelButton
- val emptyDialogOkButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
- method emptyDialogOkButton = emptyDialogOkButton
- val emptyDialogLabel =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
- method emptyDialogLabel = emptyDialogLabel
- method reparent parent =
- emptyDialogVBox#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"CheckWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
- method toplevel = toplevel
- val checkWin =
- 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 scriptNotebook =
- new GPack.notebook (GtkPack.Notebook.cast
- (Glade.get_widget_msg ~name:"scriptNotebook" ~info:"GtkNotebook" xmldata))
- method scriptNotebook = scriptNotebook
- 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 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 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 scrolledwindow3 =
- new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"scrolledwindow3" ~info:"GtkScrolledWindow" xmldata))
- method scrolledwindow3 = scrolledwindow3
- 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 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