Lines Matching defs:platName
148 public String getFileNameFromPlatformName(String platName) {
153 if (platName.startsWith("/")) {
154 return platName;
158 String fontID = specificFontIDForName(platName);
166 fileName = super.getFileNameFromPlatformName(platName);
198 xVal.add(platName);
202 if (!xVal.contains(platName)) {
203 xVal.add(platName);
230 "can't find file for " + platName);
244 fileName = getX11FontName(platName);
247 fontID = switchFontIDForName(platName);
465 private static String getX11FontName(String platName) {
466 String xlfd = platName.replaceAll("%d", "*");