On Mon, Dec 7, 2009 at 1:02 PM, Nick Irvine <nfirvine@nfirvine.com> wrote:
Thanks Alan.  Someone mentioned something about a plugin that can be
used to update jEdit.  I can't seem to find anything of the sort, nor
under the help menu.  Little help?

It's called the "Updater" plugin and should be available via plugin manager.


By the way, having such a cool supportive community makes me love
jEdit just a little bit more.  Thanks for all the hard work over the

thanks back!