[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Login required for TLA toolbox?
On 07.11.2017 17:16, Markus Alexander Kuppe wrote:
> Unfortunately, the Toolbox does not include the preference page to
> manually configure proxies (which is part of the Eclipse SDK). I opened
> an issue  to address this problem.
the most recent nightly build  includes the proxy preference page.
You might want to give it a try.