Re: [ jEdit-devel ] Dockables

[Alan E. <ala...@gm...>]

If you just want to pre-set a recommended size for the dockable, you
can set properties programmatically
like

 jEdit.setProperty("console.height", 640)
 jEdit.setProperty("console.width", 480)
And that will determine the size when it is next in "floating" mode.

I have personally converted more than a couple of of plugins from
using regular dialogs to using dockables
(InfoViewer, FastOpen, XSearch).

This is because i personally like the other things that a dockable
offers, such as being saved with a perspective.
It sounds like you want to create a floating dialog, rather than a
dockable. That is certainly possible.  Your only limits are the Java
API and jEdit's API.

--Alan


On Thu, Mar 8, 2012 at 10:56 AM, Marta Rodriguez <mar...@gm...> wrote:
> Our graphical interface does not have a fixed size. Their size
> varies depending on the amount of components added if you choose an
> option or another. That is why we want to resize the interface. It's
> easier for us to create our own frame. But we want to know if you need to
> create a dockable window for publishing our plug-in?
> Thanks again!
>
>
> ------------------------------------------------------------------------------
> Virtualization & Cloud Management Using Capacity Planning
> Cloud computing makes use of virtualization - but cloud computing
> also focuses on allowing computing to be delivered as a service.
> http://www.accelacomm.com/jaw/sfnl/114/51521223/
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>