diff options
author | Nick White <git@njw.me.uk> | 2011-12-12 18:24:47 +0000 |
---|---|---|
committer | Nick White <git@njw.me.uk> | 2011-12-12 18:24:47 +0000 |
commit | 0f69602bb5ee4552a04182dde0e0014c38bb69cf (patch) | |
tree | 08f3ef00ab1e73d7f863939a858e4922e485722c /gecko | |
parent | 09d374429159c989651f89b127bd7754f3c7202d (diff) |
Add options to gecko browsers
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> |