New proxy tab in preferences#3637

Merged

ffissore merged 7 commits intoarduino:masterfrom

ffissore:proxy

Aug 21, 2015

Commits on Aug 21, 2015

Preferences: proxy settings are back again (GUI and key/value pairs storage only)
Federico Fissore
committed
Introducing CustomProxySelector
Federico Fissore
committed
Using new CustomProxySelector in FileDownloader
Federico Fissore
committed
CustomProxySelector: auto proxy (PAC) needs login info too
Federico Fissore
committed
Windows: added -DDEBUG=true to launcher
Federico Fissore
committed
Added proxy PAC file support functions
Federico Fissore
committed
Added missing license headers
Federico Fissore
committed