From: krakjoe Date: Fri, 29 Nov 2013 09:44:25 +0000 (+0000) Subject: fix layout X-Git-Tag: php-5.6.0alpha1~110^2~30^2~44 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=921c73aeda37997e3e2f9c40369c219759d3540d;p=php fix layout --- diff --git a/tutorials/java/dist/phpdbg-ui.jar b/tutorials/java/dist/phpdbg-ui.jar index 725dad5ecb..ca6b7143a6 100644 Binary files a/tutorials/java/dist/phpdbg-ui.jar and b/tutorials/java/dist/phpdbg-ui.jar differ diff --git a/tutorials/java/src/phpdbg/ui/JConsole.form b/tutorials/java/src/phpdbg/ui/JConsole.form index 4d4323517e..69ab5773a4 100644 --- a/tutorials/java/src/phpdbg/ui/JConsole.form +++ b/tutorials/java/src/phpdbg/ui/JConsole.form @@ -124,6 +124,14 @@ + + + + + + + + diff --git a/tutorials/java/src/phpdbg/ui/JConsole.java b/tutorials/java/src/phpdbg/ui/JConsole.java index 0406e3ce0d..08661bc1f0 100644 --- a/tutorials/java/src/phpdbg/ui/JConsole.java +++ b/tutorials/java/src/phpdbg/ui/JConsole.java @@ -89,6 +89,8 @@ public class JConsole extends javax.swing.JDialog { }); mainSplit.setLeftComponent(input); + output.setFont(new java.awt.Font("DialogInput", 0, 12)); // NOI18N + output.setComponentPopupMenu(stdoutPopupMenu); outputScrollPane.setViewportView(output); mainSplit.setRightComponent(outputScrollPane);