Alex Karasulu wrote:

What's the JEdit system like which tells you if there is a
more recent update? This I think is great for things like the repository
API.

They have a menu item which will contact a server to get the most recent version information--which will then give you the option of getting the release notes for it so you know what is improved. Not sure if it is the server that needs improvement or the client.



---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]



Reply via email to