diff options
Diffstat (limited to 'common/content/editor.js')
| -rw-r--r-- | common/content/editor.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/content/editor.js b/common/content/editor.js index 555c99b0..852b464a 100644 --- a/common/content/editor.js +++ b/common/content/editor.js @@ -867,7 +867,7 @@ var Editor = Module("editor", { args.push(obj["file"]); return args; }, - has: function (key) set.has(util.compileMacro(this.value).seen, key), + has: function (key) Set.has(util.compileMacro(this.value).seen, key), validator: function (value) { this.format({}, value); return Object.keys(util.compileMacro(value).seen).every(function (k) ["column", "file", "line"].indexOf(k) >= 0); |