/// update the screen fonts after change
void updateScreenFonts();
+ /// update the previews after change
+ void updatePreviews();
+
LyXRC & rc() { return rc_; }
Converters & converters() { return converters_; }
Formats & formats() { return formats_; }
std::vector<std::string> colors_;
bool update_screen_font_;
+ bool update_previews_;
};