* no hide prompt at append
authorindvdum
Thu, 19 May 2011 00:52:44 +0400
changeset 81f4c68061547
parent 7 a778386e297f
child 9 dbc3bbf10535
* no hide prompt at append
src/main/java/org/vaadin/console/client/ui/TextConsole.java
     1.1 --- a/src/main/java/org/vaadin/console/client/ui/TextConsole.java	Wed May 18 22:18:43 2011 +0400
     1.2 +++ b/src/main/java/org/vaadin/console/client/ui/TextConsole.java	Thu May 19 00:52:44 2011 +0400
     1.3 @@ -566,9 +566,6 @@
     1.4  	}
     1.5      
     1.6  	public void append(String string) {
     1.7 -		if (isPromptActive()) {
     1.8 -			setPromtActive(false);
     1.9 -		}
    1.10  		final boolean doWrap = config.isWrap();
    1.11  		// _log("print original: '" + string + "' (" + doWrap + ")");
    1.12  		String str = string.replaceAll("\t", tabs);
    1.13 @@ -602,9 +599,6 @@
    1.14  	}
    1.15  
    1.16  	public void append(String string, String className) {
    1.17 -		if (isPromptActive()) {
    1.18 -			setPromtActive(false);
    1.19 -		}
    1.20  		final boolean doWrap = config.isWrap();
    1.21  //		 _log("print original: '" + string + "' (" + doWrap + ")");
    1.22  		String str = string.replaceAll("\t", tabs);