[ jEdit-users ] Bug ? error list steals focus... and keeps it

[David M. <dm...@in...>]

Hi,

I finally got to isolate a strange behaviour :

The Error list is docked. When an error shows up, the error list plugin
steals focus from the edit frame, and the only way to focus back on to
what I was typing is to do a right-click on the text area. The funny
thing is, if I type anything while I still have no focus (cursor is
there and blinking, but doesn't insert what I type) the characters are
very often inserted in random places in the file, often at the
begginning once I do the right-click trick.

It doesn't happen if the error list is floating. Thing is, I like to
have it docked so it pops up when anything's wrong (on a perl -c for
instance) and stays quiet down there when everything's ok.

My setup is Linux+JVM1.5, jEdit 4.3 pre2. Hints ? (apart from "well,
just keep it floating, dude!")

Thanks
--
+-----------------------------------+
| David Morel <dm...@in...> |
| http://www.intradot.com           |
+-----------------------------------+