From: Magnus Henriksson (MO/EAB) <magnus.henriksson@er...> - 2003-11-25 09:38:24
> My suggestion is to cache the plugin list locally, so that an
> connection is not necessarily required to browse the
> available plugins.
> The cache could be set to expire once a day (for example - user
> definable?), but also allow a manual refresh.
> I guess more than anything it saves on the network traffic - why
> download it multiple times just because I want to install
> plugins one at
> a time, closing the plugin manager each time.
I would say that caching/saving the plug-in list locally can be helpful, but not for browsing which plug-in to install. Instead, it would be possible to indicate which plug-ins have been updated/added since last time I connected to plugins.jedit.org. This would of course mean that the locally saved list never should expire.