public static final int getFontHeight(Font font) {
		int height = HEIGHT_MAP.get(font);
		if (height == 0) {
			FontMetrics fm = Fonts.getFontMetrics(font);
			// Don't use fm.getHeight(), as the PC adds too much dead space
			height = fm.getAscent() + fm.getDescent();
			HEIGHT_MAP.put(font, height);
		}
		return height;
	}