///
bool preview_hashed_labels;
///
- std::string preview_scale_factor;
+ double preview_scale_factor;
/// user name
std::string user_name;
/// user email
operator LyXRC::PreviewStatus() const { return val_; }
};
+void actOnUpdatedPrefs(LyXRC const & lyxrc_orig, LyXRC const & lyxrc_new);
///
extern LyXRC lyxrc;