document = 1,
/// Set if this format can contain vector graphics.
vector = 2,
+ /// This format should appear in the File > Export menu
+ export_menu = 4
};
///
Format(std::string const & n, std::string const & e, std::string const & p,
bool vectorFormat() const { return flags_ & vector; }
///
void setFlags(int v) { flags_ = v; }
+ ///
+ bool inExportMenu() const { return flags_ & export_menu; }
private:
/// Internal name. Needs to be unique.
std::string name_;
void setViewer(std::string const & name, std::string const & command);
///
void setEditor(std::string const & name, std::string const & command);
- /// Currently used by hyperlink insets
- bool viewURL(std::string const &url);
/// View the given file. Buffer used for DVI's paper orientation.
bool view(Buffer const & buffer, support::FileName const & filename,
std::string const & format_name) const;