diff options
| author | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-10 16:57:30 +0100 |
|---|---|---|
| committer | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-10 16:57:30 +0100 |
| commit | dbae5ce2e0765f229e11b692a2aba570286980f4 (patch) | |
| tree | 65034a73cda532f55086d2588266323e8e827c9a /src/jcgp/gui/console | |
| parent | 260f1baaab10ab9b1db67ab587bc36adcb34494e (diff) | |
Added manual test case evaluation to GUI
Diffstat (limited to 'src/jcgp/gui/console')
| -rw-r--r-- | src/jcgp/gui/console/GUIConsole.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/jcgp/gui/console/GUIConsole.java b/src/jcgp/gui/console/GUIConsole.java index 8148ec8..e77e222 100644 --- a/src/jcgp/gui/console/GUIConsole.java +++ b/src/jcgp/gui/console/GUIConsole.java @@ -82,8 +82,8 @@ public class GUIConsole extends AnchorPane implements Console { AnchorPane.setRightAnchor(textArea, 0.0); AnchorPane.setLeftAnchor(textArea, 0.0); - setMinHeight(GUI.CONSOLE_HEIGHT); - setPrefHeight(GUI.CONSOLE_HEIGHT); + setMinHeight(GUI.CONSOLE_MIN_HEIGHT); + setPrefHeight(GUI.CONSOLE_MIN_HEIGHT); getChildren().add(textArea); } |