Closed dragos closed 12 years ago
During mixing, the caret is kept at the previous position. It should allow movement, and scrolling. For example:
var foo = 0 while (foo < 10000) { println(s" $foo") Thread.sleep(100) foo += 1 }
During mixing, the caret is kept at the previous position. It should allow movement, and scrolling. For example: