Searched refs:P_symbol (Results 1 – 1 of 1) sorted by relevance
1196 static symbol P_symbol("P"); variable1202 if (s.is_null() || s == P_symbol) { in font_change()1203 s = P_symbol; in font_change()