?quit_on_destroy:bool ->
?on_close_file:(string -> unit) ->
?default_file:bool ->
string list ->
object
val add_item : GMenu.image_menu_item
val mutable file_boxes : Rss_gui.file list
val gui : GWindow.window
val item_about : GMenu.menu_item
val item_close : GMenu.image_menu_item
val item_copy : GMenu.image_menu_item
val item_cut : GMenu.image_menu_item
val item_delete : GMenu.image_menu_item
val item_edit_channel : GMenu.image_menu_item
val item_edit_selected_item : GMenu.image_menu_item
val item_move_down : GMenu.image_menu_item
val item_move_up : GMenu.image_menu_item
val item_new : GMenu.image_menu_item
val item_open : GMenu.image_menu_item
val item_paste : GMenu.image_menu_item
val item_quit : GMenu.image_menu_item
val item_save : GMenu.image_menu_item
val item_save_as : GMenu.image_menu_item
val menuitem1_menu : GMenu.menu
val menuitem2_menu : GMenu.menu
val menuitem4_menu : GMenu.menu
val notebook : GPack.notebook
val toplevel : GWindow.window
val vbox : GPack.box
val xml : Glade.glade_xml Gtk.obj
method about : unit -> unit
method active_file : Rss_gui.file option
method add_file_box : string option -> unit
method add_item : GMenu.image_menu_item
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit
method close_current : unit -> unit
method gui : GWindow.window
method item_about : GMenu.menu_item
method item_close : GMenu.image_menu_item
method item_copy : GMenu.image_menu_item
method item_cut : GMenu.image_menu_item
method item_delete : GMenu.image_menu_item
method item_edit_channel : GMenu.image_menu_item
method item_edit_selected_item : GMenu.image_menu_item
method item_move_down : GMenu.image_menu_item
method item_move_up : GMenu.image_menu_item
method item_new : GMenu.image_menu_item
method item_open : GMenu.image_menu_item
method item_paste : GMenu.image_menu_item
method item_quit : GMenu.image_menu_item
method item_save : GMenu.image_menu_item
method item_save_as : GMenu.image_menu_item
method menuitem1_menu : GMenu.menu
method menuitem2_menu : GMenu.menu
method menuitem4_menu : GMenu.menu
method new_file : unit -> unit
method notebook : GPack.notebook
method on_current : (Rss_gui.file -> unit) -> unit -> unit
method open_file : unit -> unit
method quit : unit -> unit
method reparent : GObj.widget -> unit
method toplevel : GWindow.window
method vbox : GPack.box
method xml : Glade.glade_xml Gtk.obj
end