std::string float_placement;
///
unsigned int columns;
+ /// parameters for the listings package
+ std::string listings_params;
///
TextClass::PageSides sides;
///
bool use_bibtopic;
/// revision tracking for this buffer ?
bool trackChanges;
- /** This param decides whether change tracking marks should be output
- * (using the dvipost package) or if the current "state" of the
- * document should be output instead. Since dvipost needs dvi
- * specials, it only works with dvi/ps output (the param will be
- * ignored with other output flavors and disabled when dvipost is
- * not installed).
+ /** 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)
*/
bool outputChanges;
/// Time ago we agreed that this was a buffer property [ale990407]
std::string const dvips_options() const;
///
std::string const paperSizeName() const;
- ///
+ /// set up if and how babel is called
std::string const babelCall(std::string const & lang_opts) const;
/// set up the document fonts
std::string const loadFonts(std::string const & rm,