You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@pdfbox.apache.org by ti...@apache.org on 2020/12/02 20:17:43 UTC
svn commit: r1884051 -
/pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java
Author: tilman
Date: Wed Dec 2 20:17:42 2020
New Revision: 1884051
URL: http://svn.apache.org/viewvc?rev=1884051&view=rev
Log:
PDFBOX-2941: increase font size in text extraction window
Modified:
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/TextDialog.java
URL: http://svn.apache.org/viewvc/pdfbox/trunk/debugger/src/main/java/org/apache/pdfbox/debugger/ui/TextDialog.java?rev=1884051&r1=1884050&r2=1884051&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 Wed Dec 2 20:17:42 2020
@@ -17,6 +17,7 @@
package org.apache.pdfbox.debugger.ui;
import java.awt.Container;
+import java.awt.Font;
import java.awt.Frame;
import javax.swing.JDialog;
import javax.swing.JScrollPane;
@@ -40,6 +41,8 @@ public class TextDialog extends JDialog
super(owner);
textPane = new JTextPane();
+ Font font = textPane.getFont();
+ textPane.setFont(font.deriveFont(font.getSize2D() * 1.5f));
scrollPane = new JScrollPane(textPane);
getContentPane().add(scrollPane);
pack();