RC_COPIER,
RC_CURSOR_FOLLOWS_SCROLLBAR,
RC_MAC_LIKE_WORD_MOVEMENT,
- RC_CUSTOM_EXPORT_COMMAND,
- RC_CUSTOM_EXPORT_FORMAT,
RC_DATE_INSERT_FORMAT,
RC_DEFFILE,
RC_DEFAULT_LANGUAGE,
+ RC_DEFAULT_VIEW_FORMAT,
RC_GUI_LANGUAGE,
RC_DEFAULT_PAPERSIZE,
RC_DIALOGS_ICONIFY_WITH_MAIN,
RC_SCREEN_FONT_TYPEWRITER,
RC_SCREEN_FONT_TYPEWRITER_FOUNDRY,
RC_SCREEN_ZOOM,
+ RC_SCROLL_BELOW_DOCUMENT,
RC_SERVERPIPE,
RC_SET_COLOR,
RC_SHOW_BANNER,
RC_OPEN_BUFFERS_IN_TABS,
RC_SORT_LAYOUTS,
RC_SPELL_COMMAND,
+ RC_SPELLCHECK_CONTINUOUSLY,
RC_TEMPDIRPATH,
RC_TEMPLATEPATH,
RC_TEX_ALLOWS_SPACES,
std::string print_paper_flag;
///
std::string print_paper_dimension_flag;
- ///
- std::string custom_export_command;
- ///
- std::string custom_export_format;
/// option for telling the dvi viewer about the paper size
std::string view_dvi_paper_option;
/// default paper size for local xdvi/dvips/ghostview/whatever
std::string spellchecker_pers_dict;
/// Escape characters
std::string spellchecker_esc_chars;
+ /// spellcheck continuously?
+ bool spellcheck_continuously;
///
bool use_kbmap;
///
///
std::string gui_language;
///
+ std::string default_view_format;
+ ///
bool mac_like_word_movement;
///
bool cursor_follows_scrollbar;
///
+ bool scroll_below_document;
+ ///
enum MacroEditStyle {
MACRO_EDIT_INLINE_BOX = 0,
MACRO_EDIT_INLINE,