return extension_list_.empty() ? empty_string() : extension_list_[0];
}
///
- std::string const & extensions() const { return extensions_; }
+ std::string const extensions() const;
///
void setExtensions(std::string const & v);
///
/// Internal name. Needs to be unique.
std::string name_;
/// Filename extensions, the first one being the default
- mutable std::vector<std::string> extension_list_;
- /// All filename extensions
- std::string extensions_;
+ std::vector<std::string> extension_list_;
/// Name presented to the user. Needs to be unique.
std::string prettyname_;
/// Keyboard shortcut for the View and Export menu.
std::string getFormatFromFile(support::FileName const & filename) const;
/// Finds a format from a file extension. Returns string() if not found.
std::string getFormatFromExtension(std::string const & ext) const;
+ /// Finds a format by pretty name. Returns string() if not found.
+ std::string getFormatFromPrettyName(std::string const & prettyname) const;
/** Returns true if the file referenced by \p filename is zipped and
** needs to be unzipped for being handled
** @note For natively zipped formats, such as dia/odg, this returns false.