[ jEdit-devel ] Dockables

[Marta R. <mar...@gm...>]

Hello,
we are developing a plug-in that has a graphical interface.
Is it necessary that this interface will be created from a dockables file?
If so, how can we resize the dockable window?
Thanks