RC_SCREEN_FONT_ROMAN,
RC_SCREEN_FONT_SANS,
RC_SCREEN_FONT_TYPEWRITER,
- RC_SCREEN_FONT_MENU,
- RC_SCREEN_FONT_POPUP,
RC_SCREEN_FONT_ENCODING,
- RC_SCREEN_FONT_ENCODING_MENU,
+ RC_POPUP_BOLD_FONT,
+ RC_POPUP_NORMAL_FONT,
+ RC_POPUP_FONT_ENCODING,
RC_SET_COLOR,
RC_AUTOSAVE,
RC_DOCUMENTPATH,
RC_USETEMPDIR,
RC_LASTFILES,
RC_AUTOREGIONDELETE,
+ RC_AUTORESET_OPTIONS,
RC_BIND,
RC_OVERRIDE_X_DEADKEYS,
RC_SERVERPIPE,
RC_NEW_ASK_FILENAME,
RC_DEFAULT_LANGUAGE,
RC_LABEL_INIT_LENGTH,
+ RC_DISPLAY_GRAPHICS,
#ifdef USE_PSPELL
RC_USE_PSPELL,
#endif
///
bool auto_region_delete;
/// flag telling whether lastfiles should be checked for existance
+ bool auto_reset_options;
+ ///
bool check_lastfiles;
/// filename for lastfiles file
string lastfiles;
///
string typewriter_font_name;
///
- string menu_font_name;
+ string popup_bold_font;
///
- string popup_font_name;
+ string popup_normal_font;
///
string font_norm;
///
///
ISO_8859_1,
///
+ ISO_8859_3,
+ ///
+ ISO_8859_4,
+ ///
ISO_8859_6_8,
///
ISO_8859_9,
///
void set_font_norm_type();
///
- string font_norm_menu;
+ string popup_font_encoding;
///
unsigned int autosave;
///
bool dialogs_iconify_with_main;
///
int label_init_length;
+ ///
+ string display_graphics;
private:
/// Is a bind file already (or currently) read?
bool hasBindFile;