equal
deleted
inserted
replaced
1 /*************************************************************************** |
1 /*************************************************************************** |
2 Title: GraphBrowser/DefaultFontMetrics.java |
2 Title: GraphBrowser/DefaultFontMetrics.java |
3 ID: $Id$ |
|
4 Author: Stefan Berghofer, TU Muenchen |
3 Author: Stefan Berghofer, TU Muenchen |
5 |
4 |
6 Default font metrics which is used when no graphics context |
5 Default font metrics which is used when no graphics context |
7 is available (batch mode). |
6 is available (batch mode). |
8 ***************************************************************************/ |
7 ***************************************************************************/ |