RC_CONVERTER_CACHE_MAXAGE,
RC_COPIER,
RC_CURSOR_FOLLOWS_SCROLLBAR,
+ RC_CURSOR_WIDTH,
RC_DATE_INSERT_FORMAT,
RC_DEFAULT_DECIMAL_POINT,
RC_DEFAULT_LANGUAGE,
RC_EXAMPLEPATH,
RC_EXPORT_OVERWRITE,
RC_FONT_ENCODING,
+ RC_FORCE_PAINT_SINGLE_CHAR,
RC_FILEFORMAT,
RC_FORWARD_SEARCH_DVI,
RC_FORWARD_SEARCH_PDF,
LyXRC();
///
void setDefaults();
- ///
- bool read(support::FileName const & filename);
+ /// \param check_format: whether to try to convert the file format,
+ /// if it is not current. this should only be true, really, for the
+ /// user's own preferences file.
+ bool read(support::FileName const & filename, bool check_format);
///
bool read(std::istream &);
- ///
+private:
enum ReturnValues {
ReadOK,
- FileError,
ReadError,
FormatMismatch
};
-private:
///
- ReturnValues readWithoutConv(support::FileName const &);
- ///
- ReturnValues read(Lexer &);
+ ReturnValues read(Lexer &, bool check_format);
public:
///
typedef std::set<std::string> CommandSet;
};
///
ScrollWheelZoom scroll_wheel_zoom;
+ ///
+ bool force_paint_single_char;
+ ///
+ int cursor_width;
};