Now, when updating some plugins, the Plugin manager shows from which to which plugin
version the user upgrades. It would be nice to list the changes in the plugin since
the actual installed version against the new plugin version.
Now the only way to see the new plugin features is to visit http://plugins.jedit.org/updates.php and search the updated plugin.
|Submitted||anode_cz - 2007-07-22 - 19:07:53z||Assigned||nobody|