/// returns the main font for the buffer (document)
Font const getFont() const;
- /* this are for the PaperLayout */
+ /* these are for the PaperLayout */
/// the papersize
PAPER_SIZE papersize;
///
std::string bibtex_command;
/// customized index processor
std::string index_command;
+ /// font encoding
+ std::string fontenc;
/// the rm font
std::string fontsRoman;
/// the sf font
Package use_amsmath;
/// Whether and how to load esint
Package use_esint;
+ /// Whether and how to load mhchem
+ Package use_mhchem;
/// Split bibliography?
bool use_bibtopic;
/// Split the index?
/// map of the file's author IDs to AuthorList indexes
std::map<unsigned int, int> author_map;
+ /// the buffer's font encoding
+ std::string const font_encoding() const;
///
std::string const dvips_options() const;
/** The return value of paperSizeName() depends on the