RC_CONVERTER_CACHE_MAXAGE,
RC_COPIER,
RC_CURSOR_FOLLOWS_SCROLLBAR,
RC_CONVERTER_CACHE_MAXAGE,
RC_COPIER,
RC_CURSOR_FOLLOWS_SCROLLBAR,
RC_SCREEN_FONT_TYPEWRITER,
RC_SCREEN_FONT_TYPEWRITER_FOUNDRY,
RC_SCREEN_ZOOM,
RC_SCREEN_FONT_TYPEWRITER,
RC_SCREEN_FONT_TYPEWRITER_FOUNDRY,
RC_SCREEN_ZOOM,
///
void write(support::FileName const & filename,
bool ignore_system_lyxrc) const;
///
void write(support::FileName const & filename,
bool ignore_system_lyxrc) const;
/// 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
PAPER_SIZE default_papersize;
/// command to run chktex incl. options
std::string chktex_command;
/// 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
PAPER_SIZE default_papersize;
/// command to run chktex incl. options
std::string chktex_command;
unsigned int plaintext_linelen;
/// Accept compound words in spellchecker?
bool spellchecker_accept_compound;
unsigned int plaintext_linelen;
/// Accept compound words in spellchecker?
bool spellchecker_accept_compound;
- /// Pass input encoding switch to the spellchecker?
- bool spellchecker_use_input_encoding;
- /// Use alternate language?
- bool spellchecker_use_alt_lang;
- /// Use personal dictionary?
- bool spellchecker_use_pers_dict;
+ /// End of paragraph markers?
+ bool paragraph_markers;
+ std::string default_view_format;
+ /// all available viewers
+ Alternatives viewer_alternatives;
+ /// all available editors
+ Alternatives editor_alternatives;
+ ///