std::string fontCJK() const { return h_font_cjk; }
///
void fontCJK(std::string const & f) { h_font_cjk_set = true; h_font_cjk = f; }
+ ///
+ bool minted() const { return h_use_minted; }
/// The document language
std::string docLanguage() const { return h_language; }
/// The language of text which is not explicitly marked
std::string h_font_cjk;
std::string h_use_microtype;
std::string h_is_mathindent;
- std::string h_math_number_before;
+ std::string h_math_numbering_side;
std::string h_mathindentation;
std::string h_graphics;
std::string h_default_output_format;
std::string h_use_default_options;
std::string h_use_hyperref;
bool h_use_refstyle;
+ bool h_use_minted;
/*!
* Add package \p name with options \p options to used_packages.