RC_DISPLAY_GRAPHICS,
RC_DOCUMENTPATH,
RC_ESC_CHARS,
+ RC_EXAMPLEPATH,
RC_FONT_ENCODING,
RC_FORMAT,
RC_INDEX_COMMAND,
RC_SORT_LAYOUTS,
RC_USELASTFILEPOS,
RC_LOADSESSION,
+ RC_MACRO_EDIT_STYLE,
RC_MAKE_BACKUP,
RC_MARK_FOREIGN_LANGUAGE,
+ RC_MOUSE_WHEEL_SPEED,
RC_NUMLASTFILES,
RC_PATH_PREFIX,
RC_PERS_DICT,
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,
///
std::string document_path;
///
+ std::string example_path;
+ ///
std::string template_path;
///
std::string tempdir_path;
/// Whether or not save/restore session information
/// like windows position and geometry.
bool allow_geometry_session;
+ /// Scrolling speed of the mouse wheel
+ double mouse_wheel_speed;
/// Zoom factor for screen fonts
unsigned int zoom;
/// Screen font sizes in points for each font size
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?
///
bool cursor_follows_scrollbar;
///
+ enum MacroEditStyle {
+ MACRO_EDIT_INLINE_BOX = 0,
+ MACRO_EDIT_INLINE,
+ MACRO_EDIT_LIST
+ };
+ ///
+ MacroEditStyle macro_edit_style;
+ ///
bool dialogs_iconify_with_main;
///
int label_init_length;