method list_store: GTree.list_store (** list_store forwarding *)
method easy_mappend: string list -> unit (** append + set *)
method list_store: GTree.list_store (** list_store forwarding *)
method easy_mappend: string list -> unit (** append + set *)