Как быстро менять адрес текущего прокси-сервера?

Вопрос по юзабилити :)
Как можно быстро менять адрес текущего прокси?
Я использую Оперу в качестве браузера. "Проксируемые запросы" идут с Оперы.

В файерфоксе удобные плагины есть, мышкой меняешь адреса.. очень удобно. Но только из-за такого удобства не охото пользоваться ФФ :)
В Опере неудобно то, что, чтобы сменить проксю надо лезть в настройки, выбирать там нужные пункты, вписывать проксю, сохранять настройки (а они сохраняются ещё не моментально..).

Чего бы придумать такого, чтобы и в Опере менялись адреса быстро?

Попробовать

Попробовать запомнить состояние каталога при одном прокси и при другом не изменяя ничего более, и сравнить их. Думаю таким образом не трудно найти.
P.S. сам не пользователь opera.

Может, команда

Может, команда Set preference и поиск по opera:config поможет...


Пожалуйста, не описывайте своё железо в подписи

после

после сохранения там выдаёт:

Цитата:

Параметры сохранены

Use HTTP

Необходим перезапуск, чтобы изменения вступили в силу.

:)

А вообще работает и без перезагрузки!! Спасибо большое! Очень удобно!

Ты не уловил

Ты не уловил кое-чего: если я ничего не путаю, то с помощью Set preference можно сделать кнопку там, жест или менюшку для переключения прокси.


Пожалуйста, не описывайте своё железо в подписи

Настройки просмотра комментариев

Выберите нужный метод показа комментариев и нажмите "Сохранить установки".