zipped_native = 8
};
///
- Format(std::string const & n, std::string const & e, std::string const & p,
+ Format(std::string const & n, std::string const & e, docstring const & p,
std::string const & s, std::string const & v, std::string const & ed,
std::string const & m, int);
///
///
void setExtensions(std::string const & v);
///
- std::string const prettyname() const { return prettyname_; }
+ docstring const prettyname() const { return prettyname_; }
///
- void setPrettyname(std::string const & v) { prettyname_ = v; }
+ void setPrettyname(docstring const & v) { prettyname_ = v; }
///
std::string const shortcut() const { return shortcut_; }
///
/// Filename extensions, the first one being the default
std::vector<std::string> extension_list_;
/// Name presented to the user. Needs to be unique.
- trivstring prettyname_;
+ trivdocstring prettyname_;
/// Keyboard shortcut for the View and Export menu.
trivstring shortcut_;
/*!
* fails, from file extension.
* \returns file format if it could be found, otherwise an empty
* string.
+ * This function is expensive.
*/
std::string getFormatFromFile(support::FileName const & filename) const;
/// Finds a format from a file extension. Returns string() if not found.
void add(std::string const & name);
///
void add(std::string const & name, std::string const & extensions,
- std::string const & prettyname, std::string const & shortcut,
+ docstring const & prettyname, std::string const & shortcut,
std::string const & viewer, std::string const & editor,
std::string const & mime, int flags);
///