lib/browser/GraphBrowser/DefaultFontMetrics.java

--- a/lib/browser/GraphBrowser/DefaultFontMetrics.java	Wed May 07 16:58:17 2003 +0200
+++ b/lib/browser/GraphBrowser/DefaultFontMetrics.java	Wed May 07 17:04:45 2003 +0200
@@ -5,7 +5,7 @@
   License:    GPL (GNU GENERAL PUBLIC LICENSE)
 
   Default font metrics which is used when no graphics context
-  is available.
+  is available (batch mode).
 ***************************************************************************/
 
 package GraphBrowser;