|
From: Randall R S. <rs...@so...> - 2003-05-04 22:05:39
|
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 |