13970
|
1 |
/***************************************************************************
|
|
2 |
Title: GraphBrowser/AWTFontMetrics.java
|
|
3 |
ID: $Id$
|
|
4 |
Author: Gerwin Klein, TU Muenchen
|
|
5 |
Copyright 2003 TU Muenchen
|
|
6 |
|
|
7 |
AbstractFontMetrics avoids dependency on java.awt.FontMetrics in
|
|
8 |
batch mode.
|
|
9 |
|
|
10 |
***************************************************************************/
|
|
11 |
|
13968
|
12 |
package GraphBrowser;
|
|
13 |
|
|
14 |
public interface AbstractFontMetrics {
|
|
15 |
public int stringWidth(String str);
|
|
16 |
public int getAscent();
|
|
17 |
public int getDescent();
|
|
18 |
}
|