svn commit: r1923515 - /pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java

[ti...@apache.org]

Author: tilman
Date: Mon Feb  3 11:12:59 2025
New Revision: 1923515

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

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

Modified: pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java
URL: http://svn.apache.org/viewvc/pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java?rev=1923515&r1=1923514&r2=1923515&view=diff
==============================================================================
--- pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java (original)
+++ pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/ui/LogDialog.java Mon Feb  3 11:12:59 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);