[ jEdit-devel ] Question about TextAreaExtension

[Matthieu C. <cho...@gm...>]

Hi, I would like to be sure :
can someone confirm me that the TextAreaExtension.paintValidLine() can be
called only by one thread,
the AWTEvent Queue ?

thanks

Matthieu