[ jEdit-users ] Maybe a bug in JEditTextArea (jEdit 2.3 final)

[<Dav...@ma...>]

Hello,

First, thank you all for jEdit and its various and useful plugins :-)

Since 2.1, I successfully used JEditTextArea as an embedded syntax editor
for SQL. But with 2.3 I got NullPointerException in
JEditTextArea$ScrollLayout.layoutContainer at line 1841:

  "Dimension dim = leftOfScrollBar.getPreferredSize();"

When the UI tried to layout the textarea.

I think the problem is that the instance variable "leftOfScrollBar" is not
initialized by the JEditTextArea constructor.
A possible workaround is to add a "dummy" component to the textarea using:

  "add(LEFT_OF_SCROLLBAR, dummy_comp)".

It is what I have done to make my application work.

Hope this will help.

Regards.

David