gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-09 21:04:13 +01:00
Code Issues Projects Releases Wiki Activity

Add cache module. Cleanup help and DTD generation. Fix :help version generation issues. Fix other assorted issues.

Browse Source
This commit is contained in:
Kris Maglione
2011-09-30 01:36:45 -04:00
parent 0cf1151e0a
commit 39e8bf7a06
15 changed files with 587 additions and 314 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
common/modules/options.jsm
View File

@@ -794,7 +794,7 @@ var Options = Module("options", {
opt.set(opt.globalValue, Option.SCOPE_GLOBAL, true);
}, window);
services["dactyl:"].pages["options.dtd"] = function () [null,
modules.cache.register("options.dtd", function ()
util.makeDTD(
iter(([["option", o.name, "default"].join("."),
o.type === "string" ? o.defaultValue.replace(/'/g, "''") :
@@ -804,7 +804,13 @@ var Options = Module("options", {
([["option", o.name, "type"].join("."), o.type] for (o in self)),
config.dtd))];
config.dtd)));
},
signals: {
"io.source": function ioSource(context, file, modTime) {
cache.flushEntry("options.dtd", modTime);
}
},
dactyl: dactyl,