lib/browser/GraphBrowser/AWTFontMetrics.java
changeset 13970 4aef7117817b
parent 13968 689868b99bde
child 14981 e73f8140af78
--- a/lib/browser/GraphBrowser/AWTFontMetrics.java	Wed May 07 16:58:17 2003 +0200
+++ b/lib/browser/GraphBrowser/AWTFontMetrics.java	Wed May 07 17:04:45 2003 +0200
@@ -1,3 +1,14 @@
+/***************************************************************************
+  Title:      GraphBrowser/AWTFontMetrics.java
+  ID:         $Id$
+  Author:     Gerwin Klein, TU Muenchen
+  Copyright   2003  TU Muenchen
+  License:    GPL (GNU GENERAL PUBLIC LICENSE)
+
+  AbstractFontMetrics from the AWT for graphics mode.
+  
+***************************************************************************/
+
 package GraphBrowser;
 
 import java.awt.FontMetrics;