PDFBOX-2941: introduce textFontHeight configuration element for text windows

git-svn-id: https://svn.apache.org/repos/asf/pdfbox/trunk@1923517 13f79535-47bb-0310-9956-ffa450edef68

Author: THausherr

debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java

@@ -17,6 +17,7 @@
 
 import java.awt.Color;
 import java.awt.Container;
+import java.awt.Font;
 import java.awt.Frame;
 import java.io.PrintWriter;
 import java.io.StringWriter;
@@ -31,6 +32,8 @@
 import javax.swing.text.StyleConstants;
 import javax.swing.text.StyledDocument;
 
+import org.apache.pdfbox.debugger.PDFDebugger;
+
 /**
  * Custom log dialog.
  *
@@ -55,6 +58,13 @@ private LogDialog(Frame owner, JLabel logLabel)
         this.logLabel = logLabel;
 
         textPane = new JTextPane();
+        String prop = PDFDebugger.configuration.getProperty("textFontHeight");
+        if (prop != null)
+        {
+            Font font = textPane.getFont();
+            float textFontHeight = Float.parseFloat(prop);
+            textPane.setFont(font.deriveFont(textFontHeight));
+        }
         scrollPane = new JScrollPane(textPane);
         getContentPane().add(scrollPane);
 

debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java

@@ -23,6 +23,8 @@
 import javax.swing.JScrollPane;
 import javax.swing.JTextPane;
 
+import org.apache.pdfbox.debugger.PDFDebugger;
+
 /**
  * Window for text extraction result.
  *
@@ -41,8 +43,13 @@ private TextDialog(Frame owner)
         super(owner);
 
         textPane = new JTextPane();
-        Font font = textPane.getFont();
-        textPane.setFont(font.deriveFont(font.getSize2D() * 1.5f));
+        String prop = PDFDebugger.configuration.getProperty("textFontHeight");
+        if (prop != null)
+        {
+            Font font = textPane.getFont();
+            float textFontHeight = Float.parseFloat(prop);
+            textPane.setFont(font.deriveFont(textFontHeight));
+        }
         scrollPane = new JScrollPane(textPane);
         getContentPane().add(scrollPane);
         pack();