(* Automatically generated from custop/custop.glade by lablgladecc *)

class main ?(file="custop/custop.glade") ?domain ?autoconnect(*=true*) () =
  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