Just tagging on to say that I've noticed the scroll bar widget isn't properly placed (stays at the top) when I use Ctrl-End to go to the end of the document. Maybe that's where the messages are coming from. If I resize the window, the scroll bar thumb moves to the bottom.
-- Chris Tillman
