class main ?(file="custop/custop.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"main" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"main" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val main =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"main" ~info:"GtkWindow" xmldata))
method main = main
val _vbox1 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"_vbox1" ~info:"GtkVBox" xmldata))
method _vbox1 = _vbox1
val _menuitem1_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"_menuitem1_menu" ~info:"GtkMenu" xmldata))
method _menuitem1_menu = _menuitem1_menu
val _menuitem4_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"_menuitem4_menu" ~info:"GtkMenu" xmldata))
method _menuitem4_menu = _menuitem4_menu
val wf_elements =
new GBin.frame (GtkBin.Frame.cast
(Glade.get_widget_msg ~name:"wf_elements" ~info:"GtkFrame" xmldata))
method wf_elements = wf_elements
val wf_display =
new GBin.frame (GtkBin.Frame.cast
(Glade.get_widget_msg ~name:"wf_display" ~info:"GtkFrame" xmldata))
method wf_display = wf_display
val vbox_code =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"vbox_code" ~info:"GtkVBox" xmldata))
method vbox_code = vbox_code
val wf_output =
new GBin.frame (GtkBin.Frame.cast
(Glade.get_widget_msg ~name:"wf_output" ~info:"GtkFrame" xmldata))
method wf_output = wf_output
val output_wscroll =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"output_wscroll" ~info:"GtkScrolledWindow" xmldata))
method output_wscroll = output_wscroll
val input_wscroll =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"input_wscroll" ~info:"GtkScrolledWindow" xmldata))
method input_wscroll = input_wscroll
val wl_error =
new GMisc.label (GtkMisc.Label.cast
(Glade.get_widget_msg ~name:"wl_error" ~info:"GtkLabel" xmldata))
method wl_error = wl_error
val wb_execute =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"wb_execute" ~info:"GtkButton" xmldata))
method wb_execute = wb_execute
method reparent parent =
_vbox1#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end