[ jEdit-devel ] Using JEditTextArea in a plugin

[Amedeo F. <afa...@li...>]

Hi Slava,

I was wondering if I could use a JEditTextArea instead of a JTextArea in a
plugin dockable window.

Amedeo