Changeset 1198

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.

Location:

trunk/src/org/expeditee/gio

Files:

• GraphicsManager.java (modified) (1 diff)
• javafx/JavaFXGraphicsManager.java (modified) (1 diff)
• swing/SwingGraphicsManager.java (modified) (1 diff)

trunk/src/org/expeditee/gio/GraphicsManager.java

@@ -322 +322 @@
                 return _widgets.remove(iw);
         }
+
+        /**
+         * Acquire the height of text produced using this font.
+         * @param font
+         * @return
+         */
+        public abstract int getFontHeight(final Font font);
 }

trunk/src/org/expeditee/gio/javafx/JavaFXGraphicsManager.java

@@ -676 +676 @@
         }
 
+        @Override
+        public int getFontHeight(final Font font) {
+                final javafx.scene.text.Font fxFont = JavaFXFontManager.getInstance().getInternalFont(font);
+                return (int) fxFont.getSize();
+        }
+
 }

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();
+        }
 }