Пробовал менять через реестр, но если браузер загружен, то изменений не будет. Подскажите пожалуйста либо как обновить настройки браузера, либо менять прокси через его интерфейсы.