equal
deleted
inserted
replaced
|
1 /*************************************************************************** |
|
2 Title: GraphBrowser/AWTFontMetrics.java |
|
3 ID: $Id$ |
|
4 Author: Gerwin Klein, TU Muenchen |
|
5 Copyright 2003 TU Muenchen |
|
6 License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
7 |
|
8 AbstractFontMetrics from the AWT for graphics mode. |
|
9 |
|
10 ***************************************************************************/ |
|
11 |
1 package GraphBrowser; |
12 package GraphBrowser; |
2 |
13 |
3 import java.awt.FontMetrics; |
14 import java.awt.FontMetrics; |
4 |
15 |
5 public class AWTFontMetrics implements AbstractFontMetrics { |
16 public class AWTFontMetrics implements AbstractFontMetrics { |