author | kleing |
Wed, 07 May 2003 16:38:55 +0200 | |
changeset 13968 | 689868b99bde |
child 13970 | 4aef7117817b |
permissions | -rw-r--r-- |
package GraphBrowser; import java.awt.FontMetrics; public class AWTFontMetrics implements AbstractFontMetrics { private FontMetrics fontMetrics; public AWTFontMetrics(FontMetrics m) { fontMetrics = m; } public int stringWidth(String str) { return fontMetrics.stringWidth(str); } public int getAscent() { return fontMetrics.getAscent(); } public int getDescent() { return fontMetrics.getDescent(); } }