Class Rss_gui.file


class file : < set_text : string -> 'a; .. > -> string option -> object .. end
Inherits
val mutable filename : string option
val mutable channel : Rss.channel
method filename : string option
method save : unit -> unit
method save_as : unit -> unit
method close : unit -> bool
method delete : ?cut:bool -> unit -> unit
method copy : unit -> unit
method paste : unit -> unit
method move_up : unit -> unit
method move_down : unit -> unit
method selected_rr : GTree.row_reference option
method private params_for_item : Rss.item -> C.parameter_kind list
method add_item : unit -> unit
method edit_selected : unit -> unit
method edit_channel : unit -> unit
method display_item : Gtk.tree_iter -> Rss.item -> unit
method insert_item : Rss.item -> unit
method show_channel : Rss.channel -> unit
method build_channel : unit -> Rss.channel
method get_children : Gtk.tree_iter option -> GTree.row_reference list
method build_item_list : unit -> Rss.item list
method load : string -> unit