diff options
author | Andrew Dolgov <[email protected]> | 2006-05-18 14:51:15 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2006-05-18 14:51:15 +0100 |
commit | 292a8a12246dd386e36c20b24369d50bb60defa8 (patch) | |
tree | 2a9791b416dc57348c374072b9eda4e6ff656c0b /prefs.js | |
parent | f9e621d06fde24fd6e753e274bcc2023d7b83631 (diff) |
opera fixes
Diffstat (limited to 'prefs.js')
-rw-r--r-- | prefs.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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(); |