From 27ff23146e8381b00358471fc36e8df77284afb4 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Sun, 26 Sep 2010 10:00:00 -0400
Subject: [PATCH] Fix disabling scrollbars with guioptions. Closes issue #25.

---
 common/content/dactyl.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/common/content/dactyl.js b/common/content/dactyl.js
index b20d530e..31c13855 100644
--- a/common/content/dactyl.js
+++ b/common/content/dactyl.js
@@ -1225,7 +1225,8 @@ const Dactyl = Module("dactyl", {
                     let class_ = dir.map(function (dir) "html|html > xul|scrollbar[orient=" + dir + "]");
 
                     styles.addSheet(true, "scrollbar", "*",
-                            class_.length ? class_.join(", ") + " { visibility: collapse !important; }" : "");
+                            class_.length ? class_.join(", ") + " { visibility: collapse !important; }" : "",
+                            true);
 
                     options.safeSetPref("layout.scrollbar.side", opts.indexOf("l") >= 0 ? 3 : 2,
                                         "See 'guioptions' scrollbar flags.");