Open plugin manager.
Click Install.
List of plugins appears normally.
Choose a plugin.
Choice of install location does not matter.
Choice of source code download does not matter.
Click Install.
Error appears.
jEdit 4.1 final (clean install)
Windows 2000 Pro SP3
Sun JRE 1.4.1_01
jEdit proxy settings configured properly
Logged In: YES
user_id=2280
What is the exact error message?
Logged In: YES
user_id=2280
Likely a network problem.
Logged In: YES
user_id=285740
Sorry, for some reason I can't attach my activity log. I thought
I had attached it before, which is why I didn't put the error in
the text. I agree that it sounds like a network error, but I have
received the same error from three different computers:
1. office desktop machine (firewall)
2. laptop (firewall and no firewall)
3. home computer (no firewall)
Here is the activity log excerpt from my office desktop
machine:
[error] Roster$Install: java.io.FileNotFoundException:
http://plugins.jedit.org/archives/plugins/BufferTabs-0.7.6.zip
[error] Roster$Install: at
sun.net.www.protocol.http.HttpURLConnection.getInputStream
(Unknown Source)
[error] Roster$Install: at
org.gjt.sp.jedit.pluginmgr.Roster$Install.download(Unknown
Source)
[error] Roster$Install: at
org.gjt.sp.jedit.pluginmgr.Roster$Install.perform(Unknown
Source)
[error] Roster$Install: at
org.gjt.sp.jedit.pluginmgr.Roster.performOperations(Unknown
Source)
[error] Roster$Install: at
org.gjt.sp.jedit.pluginmgr.PluginManagerProgress$RosterThre
ad.run(Unknown Source)
Logged In: YES
user_id=2280
Your jEdit is receiving an outdated version of the
plugin manager export script, probably because of
your proxy.