Description Andrew 2010-12-13 07:11:19 EST

Build Identifier:  20100917-0705

If you use setWaterMarks on a MessageConsole the contents will be deleted but the scrollable area will grow as if it has not been.

You can scroll far down even though it's just whitespace.

The buffer is actually cleared, so using setWaterMarks to improve performance is still valid but it's not very useful for the user.

Reproducible: Always

Steps to Reproduce:
MessageConsole console = new MessageConsole("example", null);
console.setWaterMarks(100, 500);
for(int i = 0; i < 10000000; i++)
{
    console.getDocument().set(console.getDocument() + "a");
}