[ jEdit-users ] How to use automatic proxy configuration script with jEdit ?

[Matthew G. <Mat...@ro...>]

jEdit users -

I use jEdit at work where (from looking at my Chrome install) we connect to
the internet using an automatic proxy script. This proxy is set by an
automatic proxy configuration url (PAC).

I am not sure how to setup this automatic proxy configuration in jEdit. I
know there is a "Proxy Servers" settings tab in "Global Options". But there
is no place where I can put the automatic proxy configuration url. The
downside of this is that I can't install or upgrade jEdit or jEdit Plugins
through the Plugin Manager until I get this working.  (Plugin Manager just
shows "Loading..." when I select its Update or Install tabs as I look to
download the plugins.)

Any help will be greatly appreciated.

Thanks,

   Matt Gavin
   Collins Aerospace