It would be nice to have an option to install a plugin's ZIP or TGZ file from a local file, or a URL. This would allow anyone to provide jEdit plugins without them having to be open source, or go through the plugin release request. I'm thinking more in terms of proprietary plugins.
I know it's not hard to go to "Utilities" -> "Settings Directory" and select "jars", then copy the path, open in Finder or Explorer and copy the jar file(s) into that directory, but there should really be an easy way to simply select the ZIP/TGZ file from within the UI and say "install".
Log in to post a comment.