1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-21 02:37:58 +01:00

Move some things around. Fix bug in last commit (I've already forgotten which).

--HG--
branch : groups
This commit is contained in:
Kris Maglione
2011-02-09 08:11:25 -05:00
parent d6d126a5ab
commit d4f9f9909c
5 changed files with 346 additions and 355 deletions

View File

@@ -1159,8 +1159,6 @@ var Hints = Module("hints", {
function ({ self }) { self.escapeNumbers = !self.escapeNumbers; });
},
options: function () {
const DEFAULT_HINTTAGS =
function xpath(arg) util.makeXPath(arg);
options.add(["extendedhinttags", "eht"],
"XPath strings of hintable elements for extended hint modes",