#include "support/docstring.h"
+#include "OutputParams.h"
+
#include <vector>
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);
- ///
+ /// 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;
///
FormatList formatlist;
};
+///
+std::string flavor2format(OutputParams::FLAVOR flavor);
+// Not currently used.
+// OutputParams::FLAVOR format2flavor(std::string fmt);
+
extern Formats formats;
extern Formats system_formats;