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?
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