It would be great to have editable proxy settings in Desktop Downloader, so it is independent of Internet Explorer settings. This allows Desktop Downloader to be used when Internet Explorer settings cannot be controlled by the user or wpad scripts are used (typical in corporate environments). Thanks for considering