The plugin manager should work fine for plugins that are released and available, but only offer .zip, and do not offer .tgz archives also. This way, we won't need to keep redundantly packaging the archives for plugin releases.
Ticket moved from /p/jedit/bugs/3213/
Log in to post a comment.
Ticket moved from /p/jedit/bugs/3213/