RC_SCREEN_FONT_ROMAN,
RC_SCREEN_FONT_SANS,
RC_SCREEN_FONT_TYPEWRITER,
+ RC_SCREEN_FONT_ROMAN_FOUNDRY,
+ RC_SCREEN_FONT_SANS_FOUNDRY,
+ RC_SCREEN_FONT_TYPEWRITER_FOUNDRY,
RC_SCREEN_FONT_ENCODING,
RC_POPUP_BOLD_FONT,
RC_POPUP_NORMAL_FONT,
RC_AUTOREGIONDELETE,
RC_AUTORESET_OPTIONS,
RC_BIND,
- RC_OVERRIDE_X_DEADKEYS,
RC_SERVERPIPE,
RC_INPUT,
RC_BINDFILE,
bool use_scalable_fonts;
/// DPI of monitor
float dpi;
- /// Whether lyx should handle deadkeys by itself
- bool override_x_deadkeys;
///
string fontenc;
///
///
string typewriter_font_name;
///
+ string roman_font_foundry;
+ ///
+ string sans_font_foundry;
+ ///
+ string typewriter_font_foundry;
+ ///
string popup_bold_font;
///
string popup_normal_font;
bool preview_hashed_labels;
///
float preview_scale_factor;
-
+
private:
/// Is a bind file already (or currently) read?
bool hasBindFile;