Дома у нас есть прокси-сервер. На работе у нас нет. Firefox раздражает в этом отношении: всякий раз, когда я запускаю его, он по умолчанию использует прокси-сервер. Если я сделаю Сервис> Параметры> Настройки и выберу «Нет прокси», нет проблем. Тем не менее, если я выключаю Firefox и перезапускаю его, мне придется снова и снова делать «Инструменты»> «Настройки»> «Настройки», потому что настройка «Без прокси» не «прилипает».
Как мне заставить его придерживаться? Или кто-то может предложить немного javascript, который я могу назначить кнопке на моей панели инструментов, которая будет переключаться между двумя состояниями?