+ << '\n';
+ }
+
+ case RC_USER_NAME:
+ os << "\\user_name \"" << user_name << "\"\n";
+
+ case RC_USER_EMAIL:
+ os << "\\user_email \"" << user_email << "\"\n";
+
+ case RC_SHOW_BANNER:
+ if (show_banner != system_lyxrc.show_banner) {
+ os << "\\show_banner " << tostr(show_banner) << '\n';
+ }
+
+ case RC_PREVIEW:
+ if (preview != system_lyxrc.preview) {
+ os << "\\preview " << tostr(preview) << '\n';
+ }
+
+ case RC_PREVIEW_HASHED_LABELS:
+ if (preview_hashed_labels !=
+ system_lyxrc.preview_hashed_labels) {
+ os << "\\preview_hashed_labels "
+ << tostr(preview_hashed_labels) << '\n';
+ }
+
+ case RC_PREVIEW_SCALE_FACTOR:
+ if (preview_scale_factor != system_lyxrc.preview_scale_factor) {
+ os << "\\preview_scale_factor "
+ << preview_scale_factor << '\n';