X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FFormat.h;h=07c081bf71a08b22d45c2bc16c766e2862521f9b;hb=3d7ede605978461a6bd67b250925fcc8bf8404c3;hp=e9ac7a47a9f94a63018af35d61ff5771d6c6e076;hpb=b31f0cfc4dc481e15df07d7ab12249c539333910;p=lyx.git diff --git a/src/Format.h b/src/Format.h index e9ac7a47a9..07c081bf71 100644 --- a/src/Format.h +++ b/src/Format.h @@ -13,6 +13,7 @@ #define FORMAT_H #include "support/docstring.h" +#include "support/trivstring.h" #include "OutputParams.h" @@ -41,9 +42,9 @@ public: 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, - int); + std::string const & m, int); /// bool dummy() const; /// Is \p ext a valid filename extension for this format? @@ -54,11 +55,11 @@ public: /// Name fo the parent format std::string const parentFormat() const; /// - std::string const & name() const { return name_; } + std::string const name() const { return name_; } /// void setName(std::string const & v) { name_ = v; } /// - std::string const & extension() const + std::string const extension() const { return extension_list_.empty() ? empty_string() : extension_list_[0]; } @@ -67,22 +68,26 @@ public: /// 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_; } + std::string const shortcut() const { return shortcut_; } /// void setShortcut(std::string const & v) { shortcut_ = v; } /// - std::string const & viewer() const { return viewer_; } + std::string const viewer() const { return viewer_; } /// void setViewer(std::string const & v) { viewer_ = v; } /// - std::string const & editor() const { return editor_; } + std::string const editor() const { return editor_; } /// 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; } @@ -92,15 +97,18 @@ public: 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_; + trivstring name_; /// Filename extensions, the first one being the default std::vector extension_list_; /// Name presented to the user. Needs to be unique. - std::string prettyname_; + trivdocstring prettyname_; /// Keyboard shortcut for the View and Export menu. - std::string shortcut_; + trivstring shortcut_; /*! * Viewer for this format. Needs to be in the PATH or an absolute * filename. @@ -108,9 +116,17 @@ private: * If it is \c auto the default viewer of the OS for this format is * used. */ - std::string viewer_; + trivstring viewer_; /// Editor for this format. \sa viewer_. - std::string editor_; + trivstring 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. + */ + trivstring mime_; /// int flags_; }; @@ -137,6 +153,7 @@ public: * 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. @@ -146,6 +163,10 @@ public: ** @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(); @@ -155,9 +176,9 @@ public: 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, - int flags); + std::string const & mime, int flags); /// void erase(std::string const & name); /// @@ -183,6 +204,8 @@ public: /// const_iterator end() const { return formatlist.end(); } /// + bool empty() const { return formatlist.empty(); } + /// FormatList::size_type size() const { return formatlist.size(); } private: ///