[ jEdit-devel ] [jedit:bugs] #4145 5.7 proxy error for plugin manager

[Alan E. <ez...@us...>]

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



---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Sat Jun 14, 2025 11:37 PM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


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")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.