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();
///
/// 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;