Plugins Not Installing (Suspect Windows 7 "Feature")
Submitted by on Saturday, 7 January, 2012 - 00:42
I've installed jEdit on my new Windows 7 computer, and cannot upgrade plugins or install new ones.
After attempting to upgrade Template, I got the message "The plugin C:\Users\John M Gamble\.jedit\jars\Templates.jar could not be removed", followed by "Error while downloading the plugin, please try another mirror".
New plugins went through the download process (successfully), but then reported "Error while downloading the plugin, please try another mirror" for each one. Changing the plugin installation directory in Global Options from "jEdit settings directory" to "jEdit application directory" had no effect.
I tried this with jEdit version 4.3.3 and 4.4.2 as well, with the same results. I installed the latest version of Java (jdk-7u1-windows-x64.exe), with no change.
So this problem appears to be Windows related, but I can't seem to find anything that would cause this. Which is annoying, as I really need to use the GitPlugin. Any ideas?
After attempting to upgrade Template, I got the message "The plugin C:\Users\John M Gamble\.jedit\jars\Templates.jar could not be removed", followed by "Error while downloading the plugin, please try another mirror".
New plugins went through the download process (successfully), but then reported "Error while downloading the plugin, please try another mirror" for each one. Changing the plugin installation directory in Global Options from "jEdit settings directory" to "jEdit application directory" had no effect.
I tried this with jEdit version 4.3.3 and 4.4.2 as well, with the same results. I installed the latest version of Java (jdk-7u1-windows-x64.exe), with no change.
So this problem appears to be Windows related, but I can't seem to find anything that would cause this. Which is annoying, as I really need to use the GitPlugin. Any ideas?
