Re: [ jEdit-users ] Loading Plugins

[murphee <mu...@ne...>]

At 10:15 17.05.01 +0200, you wrote:
>How about replacing the automatic loading of all plugins in the jars
>directory with just checking for the existance of them and adding an entry
>to the plugins menu. On the first use of the plugin, it could be loaded.
>That way, seldomly used plugins are not occupying memory which could used
>for buffers etc...If plugins are specified to be opened in the docking
>section of global properties then they should be loaded on startup otherwise
>let them be loaded only once needed...I know this means suffering a short
>delay the first time a plugin is used..but I think that's better than just
>loading all of them up...
>What do you think...?


Sounds good; maybe an option "Preload Plugin" could be added, for plugins
that *should* be loaded on startup, if you don't want the PlugIn-Load-Delay
(for them);
PlugIns, where this option is set, will be loaded on startup,
the others will be loaded when needed.

murphee
--
************
my site: www.angelfire.com/co/werners ** updated 13.05. **
a must: www.linuxtoday.com
so is this: www.javaworld.com
as well as: www.userfriendly.org/static
************
Goodbye, and thanks for all the fish.
(in memory of Douglas Adams)