+
+ case RC_POPUP_NORMAL_FONT:
+ if (popup_normal_font != system_lyxrc.popup_normal_font) {
+ os << "\\popup_normal_font \"" << popup_normal_font
+ << "\"\n";
+ }
+ case RC_POPUP_BOLD_FONT:
+ if (popup_bold_font != system_lyxrc.popup_bold_font) {
+ os << "\\popup_bold_font \"" << popup_bold_font
+ << "\"\n";
+ }
+ case RC_POPUP_FONT_ENCODING:
+ if (popup_font_encoding != system_lyxrc.popup_font_encoding) {
+ os << "\\popup_font_encoding \"" << popup_font_encoding
+ << "\"\n";
+ }