enum MathNumber { DEFAULT, LEFT, RIGHT };
/// number formulas on left/right/default
- MathNumber math_number;
+ MathNumber math_numbering_side;
+
+ /// Convenience function for display: like math_number, but
+ /// DEFAULT is replaced by the best guess we have.
+ MathNumber getMathNumber() const;
/** Whether paragraphs are separated by using a indent like in
* articles or by using a little skip like in letters.
std::string output_sync_macro;
/// use refstyle? or prettyref?
bool use_refstyle;
+ /// use minted? or listings?
+ bool use_minted;
/// Return true if language could be set to lang,
/// otherwise return false and do not change language