scroll bar problems after pasting text into the sql query tool

I noticed the other day that when pasting sql query text into the sql query
editor, and then grabbing the horizontal scroll bar and moving it all the
way over to the right, that the end of the sql query text I'd just pasted in
was not being shown.

It seems that the scroll bar was only scrolling based on it's pre-pasted
width, rather than the new, expanded width (the sql query was rather long).

After doing something else in the window, it seemed to catch on that the
width was now much wider than it was previously, and then the use of the
scroll bar behaved as expected.

Regards,
Peter.

NOTICE: This electronic mail transmission may contain confidential
information and is intended only for the person(s) named. Any use, copying
or disclosure by any other person is strictly prohibited. If you have
received this transmission in error, please notify the sender via e-mail.