class HSpace;
class IndicesList;
class Language;
-class LatexFeatures;
class LayoutFile;
class LayoutFileIndex;
class Lexer;
int fontsTypewriterScale() const { return fonts_typewriter_scale[useNonTeXFonts]; }
/// the font used by the CJK command
std::string fonts_cjk;
+ /// use LaTeX microtype package
+ bool use_microtype;
///
Spacing & spacing();
Spacing const & spacing() const;
bool use_bibtopic;
/// Split the index?
bool use_indices;
- /// revision tracking for this buffer ?
+ /// Save trensient properties?
+ bool save_transient_properties;
+ /// revision tracking for this buffer ? (this is a transient property)
bool track_changes;
/** This param decides whether change tracking marks should be used
* in output (irrespective of how these marks are actually defined;
* for instance, they may differ for DVI and PDF generation)
+ * This is a transient property.
*/
bool output_changes;
///