怎么在opera里面实现多代理切换

opera比别的浏览器怎么怎么不在这次的讨论范围内。
opera不开源，所以没有很多的第三方插件。但是配置文件是可以随便自定义的。这个
正好符合我的口味。以前用FireFox的时候我也是从来不用插件，都是自己修改
about:config. Opera不仅可以修改about:config,而且皮肤，菜单，工具栏，快捷
键，鼠标姿势都是.ini文件控制的。

闲话少说
多代理切换可以在toolbar.ini里面通过增加一个按钮来实现，也可以通过在
menu.ini里面增加一个菜单项来实现。我倾向于后者。
Opera在defaults目录里面有默认的配置文件，然后如果你有自己的配置可以放在
profile/menu里面，类似于路径的优先级一样的概念，会优先加载自己的个性配置。
修改menu/mymenu.ini ，当然，mymenu.ini是我自己起的名字，你的就自己起吧。
在喜欢的地方，当然，我选择在最后，放这么一段
[Browser Proxy Menu]
Item, Lucent = Set preference,"Proxy|HTTP server=my_proxy_ip:port"&Set
preference,"Proxy|HTTPS server=my_proxy_ip:port"
Item, UltraSpace = Set preference,"Proxy|HTTP server=127.0.0.1:9666"&Set
preference,"Proxy|HTTPS server=127.0.0.1:9666"
Item, Privoxy = Set preference,"Proxy|HTTP server=127.0.0.1:8118"&Set
preference,"Proxy|HTTPS server=127.0.0.1:8118"

你也看到了，三个代理，一个是真正的代理，两个是上我自己的blogspot和维基百科
用的，这也是我为什么要用多代理切换的原因。
Set preference是一个action,后面""之间的是参数，Proxy|HTTP server是option的
名字，&符号表示两个动作一起做。因为要设置代理往往是http和https的都要设置。

但是放这个还不够，你还要告诉opera把这个菜单项放在什么位置。
在[Browser Menu Bar]这一节里面放这么一句。
Submenu, Proxy, Browser Proxy Menu
proxy就是菜单项的名字。
Browser Proxy Menu就是我们刚才加上去的那一节的title,在 "[" 和 "]" 之间的。
就这么简单。