[ jEdit-devel ] TextArea selecting

[Joe L. <jo...@la...>]

At what p[oint is it safe to call select() from a textArea? I am
encountering an issue in a development plugin where I call this method
with valid numbers when I receive an EditPaneUpdate.BUFFER_CHANGED
message. I first check to be sure that the buffer isLoaded() (and wait for
that event if it is not).

However, Log tracing code shows that the select call is being made and
that the textArea is not null, yet when the buffer is shown the caret is
not moved and no text is selected.

This is happening specifically when I switch buffers with BufferTabs or
with the Buffer selector popup.

Any ideas as to why this would fail? If I call it again once the buffer is
displayed (like calling it from a menu item instead of a BUFFER_CHANGED
handler) it works fine.

Thanks!


Joe Laffey
LAFFEY Computer Imaging
St. Louis, MO
-------------------------