+ int getNumber(string const & name) const;
+ ///
+ void add(string const & name);
+ ///
+ void add(string const & name, string const & extension,
+ string const & prettyname, string const & shortcut);
+ ///
+ void erase(string const & name);
+ ///
+ void sort();
+ ///
+ void setViewer(string const & name, string const & command);
+ ///
+ bool view(Buffer const * buffer, string const & filename,
+ string const & format_name) const;
+ ///
+ string const prettyName(string const & name) const;
+ ///
+ string const extension(string const & name) const;
+ ///
+ const_iterator begin() const {
+ return formatlist.begin();
+ }
+ ///
+ const_iterator end() const {
+ return formatlist.end();
+ }
+ ///
+ FormatList::size_type size() const {
+ return formatlist.size();
+ }
+private:
+ ///
+ FormatList formatlist;