class LaTeXFont {
public:
/// TeX font
- LaTeXFont() : switchdefault_(false) {}
+ LaTeXFont() : osfdefault_(false), switchdefault_(false) {}
/// The font name
docstring const & name() { return name_; }
/// The name to appear in the document dialog
int const & scale = 100);
/// Return the actually used font
docstring const getUsedFont(bool ot1, bool complete, bool nomath);
+ /// Return the actually used package
+ docstring const getUsedPackage(bool ot1, bool complete, bool nomath);
///
bool read(Lexer & lex);
///