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

This is a multi-part message in MIME format.
--===============7860032782631387611==
Content-Type: multipart/related; boundary="===============2124790763853931198=="

This is a multi-part message in MIME format.
--===============2124790763853931198==
Content-Type: multipart/alternative; boundary="===============0476219013380909141=="
MIME-Version: 1.0

--===============0476219013380909141==
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit

I'm behind a proxy. The proxy settings used to work and have not been
changed. I tried all sorts of changes to no avail.
Donat Callens


On Sun, 15 Jun 2025 at 01:37, Alan Ezust <[email protected]>
wrote:

> 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.
> ------------------------------
>
> *[bugs:#4145] <https://sourceforge.net/p/jedit/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:* Thu Jun 12, 2025 07:01 AM 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 you indicated interest in
> https://sourceforge.net/p/jedit/bugs/4145/
>
> To unsubscribe from further messages, please visit
> https://sourceforge.net/auth/subscriptions/
>



---

**[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 [email protected] 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.
--===============0476219013380909141==
MIME-Version: 1.0
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: 7bit

<div class="markdown_content"><p>I'm behind a proxy. The proxy settings used to work and have not been<br/>
changed. I tried all sorts of changes to no avail.<br/>
Donat Callens</p>
<p>On Sun, 15 Jun 2025 at 01:37, Alan Ezust <a href="mailto:[email protected]">[email protected]</a><br/>
wrote:</p>
<blockquote>
<p>Under jEdit global options - Proxy Settings, are you using a proxy server?<br/>
The error message tells you to supply a password there. If you are not<br/>
using a proxy server, be sure to uncheck that option.</p>
<hr/>
<p><em><a class="alink" href="https://sourceforge.net/p/jedit/bugs/4145/">[bugs:#4145]</a> <a href="https://sourceforge.net/p/jedit/bugs/4145/">https://sourceforge.net/p/jedit/bugs/4145/</a> 5.7 proxy error<br/>
for plugin manager</em></p>
<p><em>Status:</em> open<br/>
<em>Group:</em> minor bug<br/>
<em>Created:</em> Thu Jun 12, 2025 07:01 AM UTC by Donat Callens<br/>
<em>Last Updated:</em> Thu Jun 12, 2025 07:01 AM UTC<br/>
<em>Owner:</em> nobody<br/>
<em>Attachments:</em></p>
<ul>
<li>jEdit plugin server list.jpg<br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg">https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg</a><br/>
   (160.6 kB; image/jpeg)</li>
<li>jEdit proxy error.jpg<br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg">https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg</a><br/>
   (14.1 kB; image/jpeg)</li>
</ul>
<p>I recently updated to version 5.7. I now get the following message when<br/>
trying to open the plugin manager (see attachment "jEdit proxy error.jpg")<br/>
and can see no plugins. I tried this with a clean profile with updated<br/>
proxy info as well and it did not help. The option page that shows the list<br/>
of plugin servers works however (see attachment "jEdit plugin server<br/>
list.jpg")...</p>
<hr/>
<p>Sent from sourceforge.net because you indicated interest in<br/>
<a href="https://sourceforge.net/p/jedit/bugs/4145/">https://sourceforge.net/p/jedit/bugs/4145/</a></p>
<p>To unsubscribe from further messages, please visit<br/>
<a href="https://sourceforge.net/auth/subscriptions/">https://sourceforge.net/auth/subscriptions/</a></p>
</blockquote>
<hr/>
<p><strong><a class="alink" href="https://sourceforge.net/p/jedit/bugs/4145/">[bugs:#4145]</a> 5.7 proxy error for plugin manager</strong></p>
<p><strong>Status:</strong> open<br/>
<strong>Group:</strong> minor bug<br/>
<strong>Created:</strong> Thu Jun 12, 2025 07:01 AM UTC by Donat Callens<br/>
<strong>Last Updated:</strong> Sat Jun 14, 2025 11:37 PM UTC<br/>
<strong>Owner:</strong> nobody<br/>
<strong>Attachments:</strong></p>
<ul>
<li><a class="" href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg">jEdit plugin server list.jpg</a> (160.6 kB; image/jpeg)</li>
<li><a class="" href="https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg">jEdit proxy error.jpg</a> (14.1 kB; image/jpeg)</li>
</ul>
<p>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")...</p>
<hr/>
<p>Sent from sourceforge.net because [email protected] is subscribed to <a href="https://sourceforge.net/p/jedit/bugs/">https://sourceforge.net/p/jedit/bugs/</a></p>
<p>To unsubscribe from further messages, a project admin can change settings at <a href="https://sourceforge.net/p/jedit/admin/bugs/options.">https://sourceforge.net/p/jedit/admin/bugs/options.</a>  Or, if this is a mailing list, you can unsubscribe from the mailing list.</p></div>
--===============0476219013380909141==--

--===============2124790763853931198==--


--===============7860032782631387611==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============7860032782631387611==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel

--===============7860032782631387611==--