lib/browser/GraphBrowser/AbstractFontMetrics.java

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/GraphBrowser/AbstractFontMetrics.java	Wed May 07 16:38:55 2003 +0200
@@ -0,0 +1,9 @@
+package GraphBrowser;
+
+public interface AbstractFontMetrics {
+
+  public int stringWidth(String str);
+  public int getAscent();
+  public int getDescent();
+
+}