Denis Bohm wrote:
I'm changing the text selection from a mousemove event handler and it does
not seem to refresh on the screen until I resize the window.  I wasn't sure
if the event handler is called from the update manager thread, so I tried
invokeLater also, but it didn't make any difference.  Am I missing something
in my code that I need to do to cause the refresh?

Hi Denis,


I'm surprised it refreshes the selection when you resize the window ;)

  The code currently only notifies the TextNode of selection changes, it should
notify the UserAgent, but those methods don't current exist.  If you could
post a bug on bugzilla with a bugzilla attachment that shows the problem that
would be extremely helpful to ensure the problem is remembered and fixed.

Thanks!



---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]



Reply via email to