Fix favicon updating on Opera. See comments, issue #30

4chan_x.user.js

@@ -2774,8 +2774,9 @@
       l = unread.replies.length;
       favicon = $('link[rel="shortcut icon"]', d.head);
       favicon.href = g.dead ? l ? this.unreadDead : this.dead : l ? this.unread : this["default"];
-      if (engine === "gecko") {
+      if (engine !== 'webkit') {
         clone = favicon.cloneNode(true);
+        favicon.href = null;
         return $.replace(favicon, clone);
       }
     }

changelog

@@ -1,4 +1,6 @@
 master
+- mayhem
+  fix favicon updating on Opera
 
 2.23.0
 - mayhem

script.coffee

@@ -2171,9 +2171,12 @@ Favicon =
         else
           @default
 
-    #XXX `favicon.href = href` doesn't work on Firefox
-    if engine is "gecko"
+    #`favicon.href = href` doesn't work on Firefox
+    #`favicon.href = href` isn't enough on Opera
+    #Opera won't always update the favicon if the href do not change
+    if engine isnt 'webkit'
       clone = favicon.cloneNode true
+      favicon.href = null
       $.replace favicon, clone
 
 redirect = ->