Add forgotten dequote call.

2026-01-04 11:34:12 +01:00 · 2011-01-19 04:06:53 -05:00
parent 36c6393d5d
commit 3c240d29ed
1 changed files with 1 additions and 1 deletions
--- a/common/content/mappings.js
+++ b/common/content/mappings.js
@@ -627,7 +627,7 @@ var Mappings = Module("mappings", {
                        filters: Option.splitList(args[1], true).map(function (pattern) {
                            let [, res, filter] = /^(!?)(.*)/.exec(pattern);

-                            return update(Styles.matchFilter(filter), {
+                            return update(Styles.matchFilter(Option.dequote(filter)), {
                                result: !res,
                                toString: function () pattern
                            });