Re: [ jEdit-devel ] Automatically docking a plugin

[Randall R S. <rs...@so...>]

Slava,

I guess I misunderstood the original poster.

I suppose he could somehow manipulate or preset his jEdit "properties" 
file to contain the necessary "*.dock-position=..." properties for the 
plug-ins he wants docked "by default."

Randall Schulz


At 14:40 2003-05-04, Slava Pestov wrote:
>No, this should not be done.
>
>On Sun, May 04, 2003 at 06:35:35AM -0700, Joe Consumer wrote:
> >
> > Plugin dockables are by default floating.  Is there a
> > way to override this default so my dockable is already
> > docked, and the user wouldn't have to change this
> > manually?
> >
> > charlie
>
>--
>Slava Pestov