RC_COPIER,
RC_CURSOR_FOLLOWS_SCROLLBAR,
RC_DATE_INSERT_FORMAT,
+ RC_DEFAULT_DECIMAL_POINT,
RC_DEFAULT_LANGUAGE,
RC_DEFAULT_VIEW_FORMAT,
RC_DEFAULT_PAPERSIZE,
RC_EDITOR_ALTERNATIVES,
RC_ESC_CHARS,
RC_EXAMPLEPATH,
+ RC_EXPORT_OVERWRITE,
RC_FONT_ENCODING,
RC_FORMAT,
+ RC_FORWARD_SEARCH_DVI,
+ RC_FORWARD_SEARCH_PDF,
RC_FULL_SCREEN_LIMIT,
RC_FULL_SCREEN_SCROLLBAR,
RC_FULL_SCREEN_TABBAR,
RC_PRINT_ADAPTOUTPUT,
RC_PRINT_COMMAND,
RC_RTL_SUPPORT,
+ RC_SAVE_COMPRESSED,
RC_SCREEN_DPI,
RC_SCREEN_FONT_ROMAN,
RC_SCREEN_FONT_ROMAN_FOUNDRY,
RC_SCREEN_FONT_TYPEWRITER_FOUNDRY,
RC_SCREEN_ZOOM,
RC_SCROLL_BELOW_DOCUMENT,
+ RC_SCROLL_WHEEL_ZOOM,
RC_SERVERPIPE,
RC_SET_COLOR,
RC_SHOW_BANNER,
bool use_lastfilepos;
/// load files from last session automatically
bool load_session;
+ /// do we save new documents as compressed by default
+ bool save_compressed;
/// shall a backup file be created
bool make_backup;
/// A directory for storing backup files
bool open_buffers_in_tabs;
///
bool single_close_tab_button;
+ ///
+ std::string forward_search_dvi;
+ ///
+ std::string forward_search_pdf;
+ ///
+ int export_overwrite;
+ /// Default decimal point when aligning table columns on decimal
+ std::string default_decimal_point;
+ ///
+ enum ScrollWheelZoom {
+ SCROLL_WHEEL_ZOOM_OFF,
+ SCROLL_WHEEL_ZOOM_CTRL,
+ SCROLL_WHEEL_ZOOM_SHIFT,
+ SCROLL_WHEEL_ZOOM_ALT
+ };
+ ///
+ ScrollWheelZoom scroll_whell_zoom;
};