///
Format(std::string const & n, std::string const & e, std::string const & p,
std::string const & s, std::string const & v, std::string const & ed,
- int);
+ std::string const & m, int);
///
bool dummy() const;
/// Is \p ext a valid filename extension for this format?
///
void setEditor(std::string const & v) { editor_ = v; }
///
+ std::string const & mime() const { return mime_; }
+ ///
+ void setMime(std::string const & m) { mime_ = m; }
+ ///
bool documentFormat() const { return flags_ & document; }
///
bool vectorFormat() const { return flags_ & vector; }
bool inExportMenu() const { return flags_ & export_menu; }
///
bool zippedNative() const { return flags_ & zipped_native; }
+ ///
+ static bool formatSorter(Format const * lhs, Format const * rhs);
+
private:
/// Internal name. Needs to be unique.
std::string name_;
std::string viewer_;
/// Editor for this format. \sa viewer_.
std::string editor_;
+ /*!
+ * Full MIME type, e.g. "text/x-tex".
+ * Only types listed by the shared MIME database of freedesktop.org
+ * should be added.
+ * This field may be empty, but it must be unique across all formats
+ * if it is set.
+ */
+ std::string mime_;
///
int flags_;
};
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.
**/
bool isZippedFile(support::FileName const & filename) const;
+ /// check for zipped file format
+ static bool isZippedFileFormat(std::string const & format);
+ /// check for PostScript file format
+ static bool isPostScriptFileFormat(std::string const & format);
/// Set editor and/or viewer to "auto" for formats that can be
/// opened by the OS.
void setAutoOpen();
void add(std::string const & name, std::string const & extensions,
std::string const & prettyname, std::string const & shortcut,
std::string const & viewer, std::string const & editor,
- int flags);
+ std::string const & mime, int flags);
///
void erase(std::string const & name);
///
///
const_iterator end() const { return formatlist.end(); }
///
+ bool empty() const { return formatlist.empty(); }
+ ///
FormatList::size_type size() const { return formatlist.size(); }
private:
///