new GBin.event_box (GtkBin.EventBox.cast
(Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
method toolBarEventBox = toolBarEventBox
- val vbox1 =
+ val toolBarVBox =
new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
- method vbox1 = vbox1
- val vbuttonbox1 =
- new GPack.button_box (GtkPack.BBox.cast
- (Glade.get_widget_msg ~name:"vbuttonbox1" ~info:"GtkVButtonBox" xmldata))
- method vbuttonbox1 = vbuttonbox1
- val button1 =
+ (Glade.get_widget_msg ~name:"ToolBarVBox" ~info:"GtkVBox" xmldata))
+ method toolBarVBox = toolBarVBox
+ val toolbar2 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar2" ~info:"GtkToolbar" xmldata))
+ method toolbar2 = toolbar2
+ val introsButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"introsButton" ~info:"GtkButton" xmldata))
+ method introsButton = introsButton
+ val applyButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"applyButton" ~info:"GtkButton" xmldata))
+ method applyButton = applyButton
+ val exactButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"exactButton" ~info:"GtkButton" xmldata))
+ method exactButton = exactButton
+ val toolbar3 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar3" ~info:"GtkToolbar" xmldata))
+ method toolbar3 = toolbar3
+ val elimButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"elimButton" ~info:"GtkButton" xmldata))
+ method elimButton = elimButton
+ val elimTypeButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"elimTypeButton" ~info:"GtkButton" xmldata))
+ method elimTypeButton = elimTypeButton
+ val toolbar4 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar4" ~info:"GtkToolbar" xmldata))
+ method toolbar4 = toolbar4
+ val splitButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"splitButton" ~info:"GtkButton" xmldata))
+ method splitButton = splitButton
+ val leftButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
- method button1 = button1
- val button2 =
+ (Glade.get_widget_msg ~name:"leftButton" ~info:"GtkButton" xmldata))
+ method leftButton = leftButton
+ val rightButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
- method button2 = button2
- val button3 =
+ (Glade.get_widget_msg ~name:"rightButton" ~info:"GtkButton" xmldata))
+ method rightButton = rightButton
+ val existsButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
- method button3 = button3
- val button4 =
+ (Glade.get_widget_msg ~name:"existsButton" ~info:"GtkButton" xmldata))
+ method existsButton = existsButton
+ val toolbar5 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar5" ~info:"GtkToolbar" xmldata))
+ method toolbar5 = toolbar5
+ val reflexivityButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"reflexivityButton" ~info:"GtkButton" xmldata))
+ method reflexivityButton = reflexivityButton
+ val symmetryButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"symmetryButton" ~info:"GtkButton" xmldata))
+ method symmetryButton = symmetryButton
+ val transitivityButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"transitivityButton" ~info:"GtkButton" xmldata))
+ method transitivityButton = transitivityButton
+ val toolbar6 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
+ method toolbar6 = toolbar6
+ val assumptionButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
+ method assumptionButton = assumptionButton
+ val searchButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"searchButton" ~info:"GtkButton" xmldata))
+ method searchButton = searchButton
+ val autoButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
+ method autoButton = autoButton
+ val toolbar7 =
+ new GButton.toolbar (GtkButton.Toolbar.cast
+ (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
+ method toolbar7 = toolbar7
+ val cutButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
- method button4 = button4
+ (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
+ method cutButton = cutButton
+ val replaceButton =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
+ method replaceButton = replaceButton
method reparent parent =
toolBarEventBox#misc#reparent parent;
toplevel#destroy ()
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
let check_all ?(show=false) () =
ignore (GMain.Main.init ());
+ let textDialog = new textDialog () in
+ if show then textDialog#toplevel#show ();
+ textDialog#check_widgets ();
let scriptWin = new scriptWin () in
if show then scriptWin#toplevel#show ();
scriptWin#check_widgets ();