aboutsummaryrefslogtreecommitdiffstats
path: root/src/jcgp/gui/console
diff options
context:
space:
mode:
authorEduardo Pedroni <ep625@york.ac.uk>2014-05-22 07:44:52 +0100
committerEduardo Pedroni <ep625@york.ac.uk>2014-05-22 07:44:52 +0100
commit2b571f08d091dc062cedbb9816c29dcf0cbd4f12 (patch)
tree98505fe5fbd433eafe74a188f833b71a4627e08f /src/jcgp/gui/console
parent9aac9892b5c827e70c4598e0e052d10aad40a2d9 (diff)
Final commit, will release later today.
Diffstat (limited to 'src/jcgp/gui/console')
-rw-r--r--src/jcgp/gui/console/ConsolePane.java1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/jcgp/gui/console/ConsolePane.java b/src/jcgp/gui/console/ConsolePane.java
index c4cfc21..1e07b7d 100644
--- a/src/jcgp/gui/console/ConsolePane.java
+++ b/src/jcgp/gui/console/ConsolePane.java
@@ -37,7 +37,6 @@ public class ConsolePane extends AnchorPane implements Console {
public ConsolePane() {
super();
textArea.setEditable(false);
-
/*
* This nasty hack is needed because the default TextArea ContextMenu is not
* in the public API, making it impossible to override it with a custom one.