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