class main ?(file="editor/chamo.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 vbox =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"vbox" ~info:"GtkVBox" xmldata))
method vbox = vbox
val hboxmenus =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"hboxmenus" ~info:"GtkHBox" xmldata))
method hboxmenus = hboxmenus
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 item_save =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_save" ~info:"GtkImageMenuItem" xmldata))
method item_save = item_save
val item_save_as =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_save_as" ~info:"GtkImageMenuItem" xmldata))
method item_save_as = item_save_as
val item_reload =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_reload" ~info:"GtkImageMenuItem" xmldata))
method item_reload = item_reload
val item_log_window =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_log_window" ~info:"GtkImageMenuItem" xmldata))
method item_log_window = item_log_window
val menuEdit =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"menuEdit" ~info:"GtkMenuItem" xmldata))
method menuEdit = menuEdit
val menuitem6_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"menuitem6_menu" ~info:"GtkMenu" xmldata))
method menuitem6_menu = menuitem6_menu
val viewmenubar =
new GMenu.menu_shell (GtkMenu.MenuBar.cast
(Glade.get_widget_msg ~name:"viewmenubar" ~info:"GtkMenuBar" xmldata))
method viewmenubar = viewmenubar
val menuitem11_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"menuitem11_menu" ~info:"GtkMenu" xmldata))
method menuitem11_menu = menuitem11_menu
val hbox_state =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"hbox_state" ~info:"GtkHBox" xmldata))
method hbox_state = hbox_state
val wl_keystate =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"wl_keystate" ~info:"GtkEntry" xmldata))
method wl_keystate = wl_keystate
method reparent parent =
vbox#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end