diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-05-31 11:46:12 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-05-31 11:46:12 -0700 |
| commit | 44c7fc559575f7c329ae9f24079a9881ce68206a (patch) | |
| tree | 7dda2a1bb70d267983f991a2d8e1ed4a8b86b037 /contexts/data/fiveui/injected/prelude.js | |
| parent | e29015391606e31132dbb0ba4e38f41a9ee7e62f (diff) | |
Firefox plugin now loads rule sets
Diffstat (limited to 'contexts/data/fiveui/injected/prelude.js')
| -rw-r--r-- | contexts/data/fiveui/injected/prelude.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contexts/data/fiveui/injected/prelude.js b/contexts/data/fiveui/injected/prelude.js index 4f905a8..95c0451 100644 --- a/contexts/data/fiveui/injected/prelude.js +++ b/contexts/data/fiveui/injected/prelude.js @@ -250,7 +250,7 @@ fiveui.color.colorCheck = function (selector, colorSet) { + ' var allowable = ' + JSON.stringify(allowable) + ';\n' + ' var color = fiveui.color.colorToHex($(elt).css("color"));\n' + ' if (!(color in allowable)) {\n' - + ' report("Disallowed color " + color + " in element matching " + ' + jQuery.toJSON(selector) + ', $(elt));\n' + + ' report("Disallowed color " + color + " in element matching " + ' + JSON.stringify(selector) + ', $(elt));\n' + ' }\n' + '}\n'; fnStr = 'function () { fiveui.query("' + selector + '").each(' + forEachFuncStr + '); }'; |