Author: tilman
Date: Mon Feb  3 11:13:09 2025
New Revision: 1923517

URL: http://svn.apache.org/viewvc?rev=1923517&view=rev
Log:
PDFBOX-2941: introduce textFontHeight configuration element for text windows

Modified:
    
pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java
    
pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java

Modified: 
pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java
URL: 
http://svn.apache.org/viewvc/pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java?rev=1923517&r1=1923516&r2=1923517&view=diff
==============================================================================
--- 
pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java
 (original)
+++ 
pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java
 Mon Feb  3 11:13:09 2025
@@ -17,6 +17,7 @@ package org.apache.pdfbox.debugger.ui;
 
 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.SimpleAttributeS
 import javax.swing.text.StyleConstants;
 import javax.swing.text.StyledDocument;
 
+import org.apache.pdfbox.debugger.PDFDebugger;
+
 /**
  * Custom log dialog.
  *
@@ -55,6 +58,13 @@ public class LogDialog extends JDialog
         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);
         

Modified: 
pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java
URL: 
http://svn.apache.org/viewvc/pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java?rev=1923517&r1=1923516&r2=1923517&view=diff
==============================================================================
--- 
pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java
 (original)
+++ 
pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java
 Mon Feb  3 11:13:09 2025
@@ -23,6 +23,8 @@ import javax.swing.JDialog;
 import javax.swing.JScrollPane;
 import javax.swing.JTextPane;
 
+import org.apache.pdfbox.debugger.PDFDebugger;
+
 /**
  * Window for text extraction result.
  *
@@ -41,8 +43,13 @@ public class TextDialog extends JDialog
         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();


Reply via email to