BufferedImage bi = new BufferedImage(1,1,1);
Graphics2D g2d = bi.createGraphics();
Font font = new Font(Font.DIALOG, Font.PLAIN, 12); if (!font.canDisplay(' ')) { return;
}
g2d.setFont(font);
FontMetrics fm = g2d.getFontMetrics(); if (fm.charWidth(' ') == 0) { thrownew RuntimeException("Space has char width of 0");
}
}
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.