RC_USE_ESC_CHARS,
RC_USE_INP_ENC,
RC_USE_PERS_DICT,
+ RC_USE_TOOLTIP,
RC_USE_PIXMAP_CACHE,
RC_USE_SPELL_LIB,
RC_VIEWDVI_PAPEROPTION,
bool isp_use_alt_lang;
/// Use personal dictionary?
bool isp_use_pers_dict;
+ /// Use tooltips?
+ bool use_tooltip;
/// Use pixmap cache?
bool use_pixmap_cache;
/// Use escape chars?