diff options
| author | Eduardo Pedroni <ep625@york.ac.uk> | 2014-05-22 07:44:52 +0100 |
|---|---|---|
| committer | Eduardo Pedroni <ep625@york.ac.uk> | 2014-05-22 07:44:52 +0100 |
| commit | 2b571f08d091dc062cedbb9816c29dcf0cbd4f12 (patch) | |
| tree | 98505fe5fbd433eafe74a188f833b71a4627e08f /src/jcgp/gui/console | |
| parent | 9aac9892b5c827e70c4598e0e052d10aad40a2d9 (diff) | |
Final commit, will release later today.
Diffstat (limited to 'src/jcgp/gui/console')
| -rw-r--r-- | src/jcgp/gui/console/ConsolePane.java | 1 |
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. |