From d0a42ac0f9ac7da569a8d9cb3d10e0055c4060e6 Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Mon, 10 Nov 2008 14:39:09 +0000
Subject: [PATCH] temporarily 'fix' FF 3.0 style sheet loading bug - someone in
 a better time zone track it down please

---
 content/style.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/content/style.js b/content/style.js
index 5412f6b5..0be08deb 100644
--- a/content/style.js
+++ b/content/style.js
@@ -127,6 +127,7 @@ function Highlights(name, store, serial)
                           .replace(";!important;", ";", "g"); // Seeming Spidermonkey bug
         css = style.selector + " { " + css + " }";
 
+        style.filter; // FIXME: needed for FF 3.0 (not 3.1) - track down when I'm awake...
         let error = styles.addSheet(style.selector, style.filter, css, true, force);
         if (!error)
             style.value = newStyle;