diff options
| author | krakjoe <joe.watkins@live.co.uk> | 2013-11-29 09:44:25 +0000 |
|---|---|---|
| committer | krakjoe <joe.watkins@live.co.uk> | 2013-11-29 09:44:25 +0000 |
| commit | 921c73aeda37997e3e2f9c40369c219759d3540d (patch) | |
| tree | ab73efbd05d2bc53e4682c704a62e657bbcaffd2 /tutorials/java/src/phpdbg/ui/JConsole.java | |
| parent | 167f6e0c25ab1667131e58e248ac15c4c506462b (diff) | |
| download | php-git-921c73aeda37997e3e2f9c40369c219759d3540d.tar.gz | |
fix layout
Diffstat (limited to 'tutorials/java/src/phpdbg/ui/JConsole.java')
| -rw-r--r-- | tutorials/java/src/phpdbg/ui/JConsole.java | 2 |
1 files changed, 2 insertions, 0 deletions
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); |