Searched refs:font_old (Results 1 – 3 of 3) sorted by relevance
2945 Font font_old; in onlyText() local2953 font_old = font; in onlyText()2969 FontInfo font_old = in simpleDocBookOnePar() local3000 font_old = font.fontInfo(); in simpleDocBookOnePar()3060 FontInfo font_old = in simpleLyXHTMLOnePar() local3083 if (font_old.emph() != curstate) in simpleLyXHTMLOnePar()3088 if (font_old.noun() != curstate) in simpleLyXHTMLOnePar()3103 if (font_old.xout() != curstate) in simpleLyXHTMLOnePar()3108 if (font_old.uuline() != curstate) in simpleLyXHTMLOnePar()3113 if (font_old.uwave() != curstate) in simpleLyXHTMLOnePar()[all …]
163 *popup*font_old: -*-helvetica-bold-r-*-*-16-*-*-*-*-*-*-*
162 +*popup*font_old: -*-helvetica-bold-r-*-*-16-*-*-*-*-*-*-*847 + "*popup*font_old: -*-helvetica-bold-r-*-*-16-*-*-*-*-*-*-*",