Re: [ jEdit-users ] [ jEdit-announce ] jedit 4.3pre6 is out!

[Slava P. <sl...@fa...>]

On 4-Aug-06, at 1:37 PM, Alan Ezust wrote:

> - svn rev# 6512: The code for removing the .summary file from the
>   jars-cache was moved from Roster.java to jEdit.removePluginJAR().
>   The .summary file now gets cleaned up every time the plugin is
>   unloaded. (Alan Ezust)

The whole point of the summary file is to cache properties and other  
data between runs of jEdit. If you remove the summary file every  
time, you'll notice that all plugin JARs are opened and scanned on  
startup! This defeats the whole point of the 4.2 plugin API work.

Slava