Changeset 1198 for trunk/src/org/expeditee/gio/swing/SwingGraphicsManager.java

Timestamp:

11/28/18 15:42:02 (6 years ago)

Author:

bln4

Message:

org.expeditee.gio.GraphicsManager ->
org.expeditee.gio.javafx.JavaFXGraphicsManager ->
org.expeditee.gio.swing.SwingGraphicsManager ->

Graphics managers can be now consulted to obtain the height of a character in a given font.

File:

• trunk/src/org/expeditee/gio/swing/SwingGraphicsManager.java (modified) (1 diff)

trunk/src/org/expeditee/gio/swing/SwingGraphicsManager.java

@@ -673 +673 @@
                 }
         }
+
+        @Override
+        public int getFontHeight(final Font font) {
+                final java.awt.Font awtFont = SwingFontManager.getInstance().getInternalFont(font);
+                final FontMetrics fontMetrics = _jFrame.getGraphics().getFontMetrics(awtFont);
+                return fontMetrics.getHeight();
+        }
 }