svn commit: r1923516 - in /pdfbox/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui: LogDialog.java TextDialog.java

[tilman]

Author: tilman
Date: Mon Feb  3 11:13:04 2025
New Revision: 1923516

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

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

Modified: 
pdfbox/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java
URL: 
http://svn.apache.org/viewvc/pdfbox/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java?rev=1923516&r1=1923515&r2=1923516&view=diff
==============================================================================
--- 
pdfbox/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java
 (original)
+++ 
pdfbox/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java
 Mon Feb  3 11:13:04 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/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java
URL: 
http://svn.apache.org/viewvc/pdfbox/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java?rev=1923516&r1=1923515&r2=1923516&view=diff
==============================================================================
--- 
pdfbox/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java
 (original)
+++ 
pdfbox/branches/3.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java
 Mon Feb  3 11:13:04 2025
@@ -22,6 +22,7 @@ import java.awt.Frame;
 import javax.swing.JDialog;
 import javax.swing.JScrollPane;
 import javax.swing.JTextPane;
+import org.apache.pdfbox.debugger.PDFDebugger;
 
 /**
  * Window for text extraction result.
@@ -42,6 +43,17 @@ public class TextDialog extends JDialog
 
         textPane = new JTextPane();
         Font font = textPane.getFont();
+        String prop = PDFDebugger.configuration.getProperty("textFontHeight");
+        if (prop == null)
+        {
+            // this part will be removed in 4.0
+            textPane.setFont(font.deriveFont(font.getSize2D() * 1.5f));
+        }
+        else
+        {
+            float textFontHeight = Float.parseFloat(prop);
+            textPane.setFont(font.deriveFont(textFontHeight));
+        }
         textPane.setFont(font.deriveFont(font.getSize2D() * 1.5f));
         scrollPane = new JScrollPane(textPane);
         getContentPane().add(scrollPane);