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,
bool open_buffers_in_tabs;
///
bool single_close_tab_button;
+ ///
+ std::string forward_search_dvi;
+ ///
+ std::string forward_search_pdf;
+ ///
+ int export_overwrite;
};