--- a/lib/browser/GraphBrowser/AWTFontMetrics.java Fri Jul 16 11:36:24 2021 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-/***************************************************************************
- Title: GraphBrowser/AWTFontMetrics.java
- Author: Gerwin Klein, TU Muenchen
-
- AbstractFontMetrics from the AWT for graphics mode.
-
-***************************************************************************/
-
-package GraphBrowser;
-
-import java.awt.FontMetrics;
-
-public class AWTFontMetrics implements AbstractFontMetrics {
- private FontMetrics fontMetrics;
-
- public AWTFontMetrics(FontMetrics m) {
- fontMetrics = m;
- }
-
- public int stringWidth(String str) {
- return fontMetrics.stringWidth(str);
- }
-
- public int getAscent() {
- return fontMetrics.getAscent();
- }
-
- public int getDescent() {
- return fontMetrics.getDescent();
- }
-}