diff options
| author | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-04 17:14:44 +0100 | 
|---|---|---|
| committer | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-04 17:14:44 +0100 | 
| commit | c7969623b44f375e30fa3f15dcd7581609276a0f (patch) | |
| tree | d1743df21e685fed93b7a12dd91a524e44fa42bd /src/jcgp/gui/console | |
| parent | 0dbf126fc524bc029d9f5803d849b7c8f43fe389 (diff) | |
Parameter validation refactored and fully functional.
Diffstat (limited to 'src/jcgp/gui/console')
| -rw-r--r-- | src/jcgp/gui/console/GUIConsole.java | 7 | 
1 files changed, 3 insertions, 4 deletions
| diff --git a/src/jcgp/gui/console/GUIConsole.java b/src/jcgp/gui/console/GUIConsole.java index 8fdb1a5..d8625f5 100644 --- a/src/jcgp/gui/console/GUIConsole.java +++ b/src/jcgp/gui/console/GUIConsole.java @@ -10,15 +10,14 @@ import jcgp.gui.GUI;  public class GUIConsole extends AnchorPane implements Console {  	private boolean dragging; -	private TextArea textArea = new TextArea("Welcome to JCGP!\n"); +	private TextArea textArea = new TextArea("Welcome to JCGP!");  	private StringBuffer printBuffer = new StringBuffer();  	public GUIConsole() {  		super();  		textArea.setEditable(false); -		textArea.setWrapText(true); - +		  		setResizeListeners();  		AnchorPane.setTopAnchor(textArea, GUI.RESIZE_MARGIN); @@ -91,7 +90,7 @@ public class GUIConsole extends AnchorPane implements Console {  	@Override  	public void println(String s) { -		printBuffer.append(s + "\n"); +		printBuffer.append("\n" + s);  	}  	@Override | 
