Настройка proxy в Opera для PocketPC

Для того, чтобы заставить Opera использовать прокси сервер (тот, что задан в профиле My work network она игнорирует) открываем файл opera.ini в папке \Application Data\Opera\ и добавляем туда строки:

[Proxy]
Use HTTP=1
Use HTTPS=1
HTTP server=192.168.34.1:80
HTTPS server=192.168.34.1:80

Одно неудобство - т.к. волшебной кнопки F12 на КПК нет, для включения/отключения прокси придется закрывать оперу и исправлять 1 на 0 в конфиге.