Re: [ jEdit-devel ] ANN: JSwatPlugin v1.3

[Randall R S. <rrs...@cr...>]

Nathan,

Thanks for the update!

Missing from your description is an indication of which version of 
JSwat you incorporate into the plug-in. The latest version out is 2.14.

If it's possible to detect a mismatch between the JSwat code in the 
jEdit JSwat plug-in and the stored preference data (which is Java 
serialization data and hence rather version-sensitive) and report such 
a mismatch to the user, that would be a nice improvement.

Thanks again.

Randall Schulz


At 00:00 2003-03-18, Nathan Fiedler wrote:
>Name: JSwatPlugin
>
>Version Number: 1.3
>
>Requirements: jdk >= 1.4, jEdit >= 4.00.07.00
>
>Announcements:
>
>...