class gui ?(file="rss/rssgui.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"gui" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"gui" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val gui =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"gui" ~info:"GtkWindow" xmldata))
method gui = gui
val vbox =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"vbox" ~info:"GtkVBox" xmldata))
method vbox = vbox
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 item_new =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_new" ~info:"GtkImageMenuItem" xmldata))
method item_new = item_new
val item_open =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_open" ~info:"GtkImageMenuItem" xmldata))
method item_open = item_open
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_close =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_close" ~info:"GtkImageMenuItem" xmldata))
method item_close = item_close
val item_quit =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_quit" ~info:"GtkImageMenuItem" xmldata))
method item_quit = item_quit
val menuitem2_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"menuitem2_menu" ~info:"GtkMenu" xmldata))
method menuitem2_menu = menuitem2_menu
val item_edit_channel =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_edit_channel" ~info:"GtkImageMenuItem" xmldata))
method item_edit_channel = item_edit_channel
val add_item =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"add_item" ~info:"GtkImageMenuItem" xmldata))
method add_item = add_item
val item_edit_selected_item =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_edit_selected_item" ~info:"GtkImageMenuItem" xmldata))
method item_edit_selected_item = item_edit_selected_item
val item_cut =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_cut" ~info:"GtkImageMenuItem" xmldata))
method item_cut = item_cut
val item_copy =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_copy" ~info:"GtkImageMenuItem" xmldata))
method item_copy = item_copy
val item_paste =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_paste" ~info:"GtkImageMenuItem" xmldata))
method item_paste = item_paste
val item_move_up =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_move_up" ~info:"GtkImageMenuItem" xmldata))
method item_move_up = item_move_up
val item_move_down =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_move_down" ~info:"GtkImageMenuItem" xmldata))
method item_move_down = item_move_down
val item_delete =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"item_delete" ~info:"GtkImageMenuItem" xmldata))
method item_delete = item_delete
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_about =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"item_about" ~info:"GtkMenuItem" xmldata))
method item_about = item_about
val notebook =
new GPack.notebook (GtkPack.Notebook.cast
(Glade.get_widget_msg ~name:"notebook" ~info:"GtkNotebook" xmldata))
method notebook = notebook
method reparent parent =
vbox#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
class file ?(file="rss/rssgui.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"file" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"file" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val file =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"file" ~info:"GtkWindow" xmldata))
method file = file
val scrolledwindow1 =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
method scrolledwindow1 = scrolledwindow1
val tv =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"tv" ~info:"GtkTreeView" xmldata))
method tv = tv
method reparent parent =
scrolledwindow1#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end