diff options
Diffstat (limited to 'gecko')
| -rw-r--r-- | gecko/defaults/preferences/prefs.js | 2 | ||||
| -rw-r--r-- | gecko/js.patch | 15 | ||||
| -rw-r--r-- | gecko/options.xul | 5 |
3 files changed, 22 insertions, 0 deletions
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> |