RC_CURSOR_FOLLOWS_SCROLLBAR,
RC_DIALOGS_ICONIFY_WITH_MAIN,
RC_EXIT_CONFIRMATION,
- RC_DISPLAY_SHORTCUTS,
RC_MAKE_BACKUP,
RC_BACKUPDIR_PATH,
RC_RTL_SUPPORT,
RC_DEFAULT_LANGUAGE,
RC_LABEL_INIT_LENGTH,
RC_DISPLAY_GRAPHICS,
+ RC_PREVIEW,
+ RC_PREVIEW_HASHED_LABELS,
+ RC_PREVIEW_SCALE_FACTOR,
#ifdef USE_PSPELL
RC_USE_PSPELL,
#endif
///
void setDefaults();
///
- int read (string const & filename);
+ int read(string const & filename);
///
void readBindFileIfNeeded();
///
bool use_kbmap;
/// Ask for confirmation of exit when there are unsaved documents?
bool exit_confirmation;
- /// Should we display short-cut information in the minibuffer?
- bool display_shortcuts;
///
string primary_kbmap;
///
bool auto_number;
///
bool mark_foreign_language;
- ///
- bool show_banner;
/// Do we have to use a GUI?
bool use_gui;
///
- bool new_ask_filename;
- ///
string default_language;
///
bool cursor_follows_scrollbar;
int label_init_length;
///
string display_graphics;
+ ///
+ bool show_banner;
+ ///
+ bool preview;
+ ///
+ bool preview_hashed_labels;
+ ///
+ float preview_scale_factor;
+
private:
/// Is a bind file already (or currently) read?
bool hasBindFile;