lib/browser/GraphBrowser/AbstractFontMetrics.java

--- a/lib/browser/GraphBrowser/AbstractFontMetrics.java	Wed May 07 16:58:17 2003 +0200
+++ b/lib/browser/GraphBrowser/AbstractFontMetrics.java	Wed May 07 17:04:45 2003 +0200
@@ -1,9 +1,19 @@
+/***************************************************************************
+  Title:      GraphBrowser/AWTFontMetrics.java
+  ID:         $Id$
+  Author:     Gerwin Klein, TU Muenchen
+  Copyright   2003  TU Muenchen
+  License:    GPL (GNU GENERAL PUBLIC LICENSE)
+
+  AbstractFontMetrics avoids dependency on java.awt.FontMetrics in 
+  batch mode.
+  
+***************************************************************************/
+
 package GraphBrowser;
 
 public interface AbstractFontMetrics {
-
   public int stringWidth(String str);
   public int getAscent();
   public int getDescent();
-
 }