--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/GraphBrowser/AWTFontMetrics.java Wed May 07 16:38:55 2003 +0200
@@ -0,0 +1,23 @@
+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();
+ }
+}