Menu

#4145 5.7 proxy error for plugin manager

minor bug
open
nobody
None
5
2025-06-16
2025-06-12
No

I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...

2 Attachments

Related

Bugs: #4145

Discussion

  • Alan Ezust

    Alan Ezust - 2025-06-14

    Under jEdit global options - Proxy Settings, are you using a proxy server? The error message tells you to supply a password there. If you are not using a proxy server, be sure to uncheck that option.

     
  • Alan Ezust

    Alan Ezust - 2025-06-16

    We need more info to reproduce. Is a username/password required for this proxy?
    Did you supply one or both or neither?

     
  • Alan Ezust

    Alan Ezust - 2025-06-16

    Also, please clear the activity log, reproduce, and then attach the activity log to this ticket.

     

Log in to post a comment.

MongoDB Logo MongoDB