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);