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 2019/05/25 10:28:03 UTC
svn commit: r1859939 -
/pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/PDFDebugger.java
Author: tilman
Date: Sat May 25 10:28:03 2019
New Revision: 1859939
URL: http://svn.apache.org/viewvc?rev=1859939&view=rev
Log:
PDFBOX-2941: create window sizes relative to screen size, regardless of jdk version and screen resolution (HiDPI or not)
Modified:
pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/PDFDebugger.java
Modified: pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/PDFDebugger.java
URL: http://svn.apache.org/viewvc/pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/PDFDebugger.java?rev=1859939&r1=1859938&r2=1859939&view=diff
==============================================================================
--- pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/PDFDebugger.java (original)
+++ pdfbox/branches/2.0/debugger/src/main/java/org/apache/pdfbox/debugger/PDFDebugger.java Sat May 25 10:28:03 2019
@@ -225,8 +225,10 @@ public class PDFDebugger extends JFrame
}
});
+ Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
jScrollPane1.setBorder(new BevelBorder(BevelBorder.RAISED));
- jScrollPane1.setPreferredSize(new Dimension(300, 500));
+ jScrollPane1.setPreferredSize(new Dimension(screenSize.width / 8, 500));
+ jSplitPane1.setDividerLocation(screenSize.width / 8);
tree.addTreeSelectionListener(new TreeSelectionListener()
{
@Override
@@ -240,8 +242,8 @@ public class PDFDebugger extends JFrame
jSplitPane1.setRightComponent(jScrollPane2);
jSplitPane1.setDividerSize(3);
-
- jScrollPane2.setPreferredSize(new Dimension(300, 500));
+
+ jScrollPane2.setPreferredSize(new Dimension(screenSize.width / 8 * 7, 500));
jScrollPane2.setViewportView(jTextPane1);
jSplitPane1.setLeftComponent(jScrollPane1);
@@ -266,8 +268,7 @@ public class PDFDebugger extends JFrame
menuBar.add(createViewMenu());
setJMenuBar(menuBar);
- Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
- setBounds((screenSize.width-700)/2, (screenSize.height-600)/2, 700, 600);
+ setBounds(screenSize.width / 4, screenSize.height / 4, screenSize.width / 2, screenSize.height / 2);
// drag and drop to open files
setTransferHandler(new TransferHandler()