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_SCREEN_FONT_TYPEWRITER_FOUNDRY,
RC_SCREEN_ZOOM,
RC_SCROLL_BELOW_DOCUMENT,
+ RC_SCROLL_WHEEL_ZOOM,
RC_SERVERPIPE,
RC_SET_COLOR,
RC_SHOW_BANNER,
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_wheel_zoom;
};