Re: [ jEdit-users ] Stop Project View Auto Start

[Christian Q. <wil...@tz...>]

Simon Moore wrote:
> Or if you do want it... just undock it..make it floating...
> 
> Saimon
> 
> 
>>-----Mensaje original-----
>>De:	Marcin Orlowski [SMTP:ca...@wf...]
>>Enviado el:	15 November 2002 15:00
>>Para:	us...@je...
>>Asunto:	Re: [ jEdit-users ] Stop Project View Auto Start
>>
>>On Friday, 15 November 2002 14:42, Jim Urban wrote:
>>
>>
>>>What do I to set in jEdit so jEdit starts without the Project View
>>
>>starting
>>
>>>at jEdit start up?  I can't seem to find an option to control this.
>>
>>If you don't need it, enter plugins > plugin manager and uninstall it.
>>
>>Regards,
>>-- 


This is still an interesting point. First what if one don't want to use 
  it but doesn't have access to the jar directory to remove it. Second a 
specific plugin is only used occasionally so uninstalling it isn't an 
option. In the second case undocking the plugin would work but the 
plugin would still be loaded. All loaded plugins slow down jedit at 
least the startup process. Also more memory is consumed (correct me if 
I'm wrong). I think it would be a nice thing if one could enable disable 
plugins in the global prefs dialog so only the needed/wanted plugins get 
loaded.

--
regards
   Christian Quast