/** * Returns the default font record. */ private FontRecord defaultFontRecord() { FontRecord record = (FontRecord) stringToFontRecord .get(JFaceResources.DEFAULT_FONT); if (record == null) { Font defaultFont = calculateDefaultFont(); record = createFont(JFaceResources.DEFAULT_FONT, defaultFont .getFontData()); defaultFont.dispose(); stringToFontRecord.put(JFaceResources.DEFAULT_FONT, record); } return record; }
/** * Returns the default font record. */ private FontRecord defaultFontRecord() { FontRecord record = stringToFontRecord .get(JFaceResources.DEFAULT_FONT); if (record == null) { Font defaultFont = calculateDefaultFont(); record = createFont(JFaceResources.DEFAULT_FONT, defaultFont .getFontData()); defaultFont.dispose(); stringToFontRecord.put(JFaceResources.DEFAULT_FONT, record); } return record; }
/** * Returns the default font record. */ private FontRecord defaultFontRecord() { FontRecord record = stringToFontRecord .get(JFaceResources.DEFAULT_FONT); if (record == null) { Font defaultFont = calculateDefaultFont(); record = createFont(JFaceResources.DEFAULT_FONT, defaultFont .getFontData()); defaultFont.dispose(); stringToFontRecord.put(JFaceResources.DEFAULT_FONT, record); } return record; }