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