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/defaults/preferences/prefs.js |  2 ++
 gecko/js.patch                      | 15 +++++++++++++++
 gecko/options.xul                   |  5 +++++
 3 files changed, 22 insertions(+)
 create mode 100644 gecko/defaults/preferences/prefs.js
 create mode 100644 gecko/js.patch
 create mode 100644 gecko/options.xul

(limited to 'gecko')

diff --git a/gecko/defaults/preferences/prefs.js b/gecko/defaults/preferences/prefs.js
new file mode 100644
index 0000000..f58d378
--- /dev/null
+++ b/gecko/defaults/preferences/prefs.js
@@ -0,0 +1,2 @@
+pref("extensions.simplyread.nostyle", false);
+pref("extensions.simplyread.nolinks", false);
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)
+ 	{
diff --git a/gecko/options.xul b/gecko/options.xul
new file mode 100644
index 0000000..3ef5d8d
--- /dev/null
+++ b/gecko/options.xul
@@ -0,0 +1,5 @@
+<?xml version="1.0"?>
+<vbox xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
+	<setting type="bool" pref="extensions.simplyread.nostyle" title="Disable default style" />
+	<setting type="bool" pref="extensions.simplyread.nolinks" title="Hide links" />
+</vbox>
-- 
cgit v1.2.3