diff options
| author | Kris Maglione <maglione.k@gmail.com> | 2011-07-26 21:25:37 -0400 |
|---|---|---|
| committer | Kris Maglione <maglione.k@gmail.com> | 2011-07-26 21:25:37 -0400 |
| commit | 969cdfc5dc9d81fdea274e97bc535f8135b10ab7 (patch) | |
| tree | 41fdd1824ca45ee86488de8221e3b315ae068c56 /common/modules/options.jsm | |
| parent | cff57155e6b5c9cb873412f54130d21cbc377ef3 (diff) | |
| download | pentadactyl-969cdfc5dc9d81fdea274e97bc535f8135b10ab7.tar.gz | |
More stuff.
Diffstat (limited to 'common/modules/options.jsm')
| -rw-r--r-- | common/modules/options.jsm | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/common/modules/options.jsm b/common/modules/options.jsm index aaa6aba1..9dfecffa 100644 --- a/common/modules/options.jsm +++ b/common/modules/options.jsm @@ -756,14 +756,12 @@ var Options = Module("options", { opt.set(opt.globalValue, Option.SCOPE_GLOBAL, true); }, window); - function escape(str) str.replace(/[<&]/g, function (m) ({ "&": "&", "<": "<" })[m]); - services["dactyl:"].pages["options.dtd"] = function () [null, util.makeDTD( iter(([["option", o.name, "default"].join("."), - escape(o.type === "string" ? o.defaultValue.replace(/'/g, "''") : - o.value === true ? "on" : - o.value === false ? "off" : o.stringDefaultValue)] + o.type === "string" ? o.defaultValue.replace(/'/g, "''") : + o.value === true ? "on" : + o.value === false ? "off" : o.stringDefaultValue] for (o in self)), ([["option", o.name, "type"].join("."), o.type] for (o in self)), |