From 921c73aeda37997e3e2f9c40369c219759d3540d Mon Sep 17 00:00:00 2001 From: krakjoe Date: Fri, 29 Nov 2013 09:44:25 +0000 Subject: fix layout --- tutorials/java/src/phpdbg/ui/JConsole.form | 8 ++++++++ tutorials/java/src/phpdbg/ui/JConsole.java | 2 ++ 2 files changed, 10 insertions(+) (limited to 'tutorials/java/src/phpdbg/ui') 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); -- cgit v1.2.1