diff -r 3aa8c0bb3080 -r 4aef7117817b lib/browser/GraphBrowser/AWTFontMetrics.java --- 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;