+ 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 Delete(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();