summaryrefslogtreecommitdiff
path: root/prefs.js
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2006-05-18 14:51:15 +0100
committerAndrew Dolgov <[email protected]>2006-05-18 14:51:15 +0100
commit292a8a12246dd386e36c20b24369d50bb60defa8 (patch)
tree2a9791b416dc57348c374072b9eda4e6ff656c0b /prefs.js
parentf9e621d06fde24fd6e753e274bcc2023d7b83631 (diff)
opera fixes
Diffstat (limited to 'prefs.js')
-rw-r--r--prefs.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/prefs.js b/prefs.js
index 2c15ae924..ccc0d7859 100644
--- a/prefs.js
+++ b/prefs.js
@@ -1214,7 +1214,7 @@ function localPiggieFunction(enable) {
var piggie = document.getElementById("piggie");
piggie.style.display = "block";
- if (browser.isNS && Math.random(1) > 0.5) {
+ if (navigator.userAgent.match("Gecko") && Math.random(1) > 0.5) {
piggie2_callback();
} else {
piggie_callback();