From 0f69602bb5ee4552a04182dde0e0014c38bb69cf Mon Sep 17 00:00:00 2001
From: Nick White <git@njw.me.uk>
Date: Mon, 12 Dec 2011 18:24:47 +0000
Subject: Add options to gecko browsers

---
 gecko/js.patch | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 gecko/js.patch

(limited to 'gecko/js.patch')

diff --git a/gecko/js.patch b/gecko/js.patch
new file mode 100644
index 0000000..ddc8842
--- /dev/null
+++ b/gecko/js.patch
@@ -0,0 +1,15 @@
+--- simplyread.js	2011-12-12 14:13:05.017459673 +0000
++++ simplyread.js.geckogross	2011-12-12 14:12:55.557462101 +0000
+@@ -4,6 +4,12 @@ if(window.content && window.content.docu
+ 
+ function simplyread(nostyle, nolinks)
+ {
++	var prefs = Components.classes["@mozilla.org/preferences-service;1"]
++	            .getService(Components.interfaces.nsIPrefService);
++	prefs = prefs.getBranch("extensions.simplyread.");
++	nostyle = prefs.getBoolPref("nostyle");
++	nolinks = prefs.getBoolPref("nolinks");
++
+ 	/* count the number of <p> tags that are direct children of parenttag */
+ 	function count_p(parenttag)
+ 	{
-- 
cgit v1.2.3