Merge default.

--HG-- branch : key-processing
2026-01-31 12:35:45 +01:00 · 2011-01-23 21:00:25 -05:00
parent 590e8d22b5 5dc0dfd953
commit 5d027cf43f
2 changed files with 12 additions and 1 deletions
--- a/common/content/buffer.js
+++ b/common/content/buffer.js
@@ -1418,7 +1418,13 @@ var Buffer = Module("buffer", {

        commands.add(["pa[geinfo]"],
            "Show various page information",
-            function (args) { buffer.showPageInfo(true, args[0]); },
+            function (args) {
+                let arg = args[0];
+                let opt = options.get("pageinfo");
+
+                dactyl.assert(opt.validator(opt.parse(arg)), "E475: Invalid argument: " + arg);
+                buffer.showPageInfo(true, arg);
+            },
            {
                argCount: "?",
                completer: function (context) {