+ << '\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 (ignore_system_lyxrc ||
+ show_banner != system_lyxrc.show_banner) {
+ os << "\\show_banner " << convert<string>(show_banner) << '\n';
+ }
+
+ case RC_PREVIEW:
+ if (ignore_system_lyxrc ||
+ preview != system_lyxrc.preview) {
+ string status;
+ switch (preview) {
+ case PREVIEW_ON:
+ status = "on";
+ break;
+ case PREVIEW_NO_MATH:
+ status = "no_math";
+ break;
+ case PREVIEW_OFF:
+ status = "off";
+ break;
+ }
+ os << "\\preview " << status << '\n';
+ }
+
+ case RC_PREVIEW_HASHED_LABELS:
+ if (ignore_system_lyxrc ||
+ preview_hashed_labels !=
+ system_lyxrc.preview_hashed_labels) {
+ os << "\\preview_hashed_labels "
+ << convert<string>(preview_hashed_labels) << '\n';
+ }
+
+ case RC_PREVIEW_SCALE_FACTOR:
+ if (ignore_system_lyxrc ||
+ preview_scale_factor != system_lyxrc.preview_scale_factor) {
+ os << "\\preview_scale_factor "
+ << preview_scale_factor << '\n';
+ }
+
+ case RC_USE_CONVERTER_CACHE:
+ if (ignore_system_lyxrc ||
+ use_converter_cache != system_lyxrc.use_converter_cache) {
+ os << "\\use_converter_cache "
+ << convert<string>(use_converter_cache) << '\n';
+ }
+
+ case RC_CONVERTER_CACHE_MAXAGE:
+ if (ignore_system_lyxrc ||
+ converter_cache_maxage != system_lyxrc.converter_cache_maxage) {
+ os << "\\converter_cache_maxage"
+ << converter_cache_maxage << '\n';