Site-specific preferences in Opera 9
Thursday, 20. October 2005, 17:21:25
More details on this is coming, but here's something to get you started.
How it works
All site-specific overrides are stored in opera6.ini. If you want to add overrides for a specific site, add the domain name in the "[Overrides]" section. Then, add a new section with the domain name, e.g. "[www.opera.com]". Each item in that section will override the Opera default for that domain. Items have two parts: the INI section where the setting is stored and the setting name separated by a vertical bar, e.g. "Extensions|Scripting=0". The following settings will disable scripting at www.opera.com:
[Overrides]
www.opera.com
[www.opera.com]
Extensions|Scripting=0
Overrides can be disabled by setting the domain name to 0, e.g. "www.opera.com=0" in the "[Overrides]" section. Override matching is done on sub-domain basis, so the server www.example.com will be matched by an override for example.com, but not vice versa. If overrides are defined both for the exact match and for the general domain, the longest match will always take precedence.
Available site-specific preferences
Here are some of the available site-specific preferences.
User Prefs|Ignore Unrequested Popups
User Prefs|Target Destination
User Prefs|User JavaScript
User Prefs|User JavaScript File
User Prefs|Allow Script To Hide URL
User Prefs|Enable Referrer
Multimedia|Always Load Favicon
Extensions|Scripting
User Display Mode|Author CSS
User Display Mode|User CSS
Author Display Mode|Author CSS
Author Display Mode|User CSS
User Agent|Spoof UserAgent ID
Proxy|*
Fonts|*
Colors|*
How it works
All site-specific overrides are stored in opera6.ini. If you want to add overrides for a specific site, add the domain name in the "[Overrides]" section. Then, add a new section with the domain name, e.g. "[www.opera.com]". Each item in that section will override the Opera default for that domain. Items have two parts: the INI section where the setting is stored and the setting name separated by a vertical bar, e.g. "Extensions|Scripting=0". The following settings will disable scripting at www.opera.com:
[Overrides]
www.opera.com
[www.opera.com]
Extensions|Scripting=0
Overrides can be disabled by setting the domain name to 0, e.g. "www.opera.com=0" in the "[Overrides]" section. Override matching is done on sub-domain basis, so the server www.example.com will be matched by an override for example.com, but not vice versa. If overrides are defined both for the exact match and for the general domain, the longest match will always take precedence.
Available site-specific preferences
Here are some of the available site-specific preferences.
User Prefs|Ignore Unrequested Popups
User Prefs|Target Destination
User Prefs|User JavaScript
User Prefs|User JavaScript File
User Prefs|Allow Script To Hide URL
User Prefs|Enable Referrer
Multimedia|Always Load Favicon
Extensions|Scripting
User Display Mode|Author CSS
User Display Mode|User CSS
Author Display Mode|Author CSS
Author Display Mode|User CSS
User Agent|Spoof UserAgent ID
Proxy|*
Fonts|*
Colors|*
WIDGETIZE
graste # 20. October 2005, 19:29
scipio # 20. October 2005, 20:48
feldgendler # 21. October 2005, 07:39
elcid73 # 21. October 2005, 15:55
I too thought about that for a second.
ilyabirman # 22. October 2005, 13:11
In what sense do you ignore unrequested popups?
Do you mean, "The page is showing a popup window - ok, ignore this, just let it do" or "The page is asking browser to show a popup window - ignore this request". I really don't know.
In the UI it's called "Block unwanted popups" which doesn't have this problem. Also it doesn't have the feel of double negation.
FataL # 26. October 2005, 20:26
username_zen # 30. October 2005, 22:39
moo # 31. October 2005, 10:44
vmicho # 27. November 2005, 08:34
nicomen # 9. January 2006, 21:09
At least the other "modern" browsers won't catch up ten years down the road
dotbit # 16. January 2006, 15:38
Singkong # 6. June 2006, 07:13
This information also needs to be added to http://en.wikipedia.org/wiki/Wikipedia:Popups#Opera - or if someone answers me here, I can add it to the wikipedia page.
Another problem is that sometimes the javascript in the Wikipedia popups feature just creates a tiny box, the size of one letter, when hovering over a wikilink. The feature works better in Internet Explorer.
Apart from this, Opera 9 is mostly wonderful - good job.
Singkong
(using Opera 9.00 Beta on Windows XP)