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/js.patch | |
| parent | 09d374429159c989651f89b127bd7754f3c7202d (diff) | |
Add options to gecko browsers
Diffstat (limited to 'gecko/js.patch')
| -rw-r--r-- | gecko/js.patch | 15 |
1 files changed, 15 insertions, 0 deletions
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) + { |