diff --git a/common/content/buffer.js b/common/content/buffer.js index 6a030a2b..f9e73458 100644 --- 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) { diff --git a/common/locale/en-US/options.xml b/common/locale/en-US/options.xml index c289a974..5016950d 100644 --- a/common/locale/en-US/options.xml +++ b/common/locale/en-US/options.xml @@ -327,6 +327,7 @@ 'act' 'activate' + 'activate' 'act' stringlist addons,bookmarks,diverted,downloads,extoptions, @@ -852,6 +853,7 @@ 'ht' 'hinttags' + 'hinttags' 'ht' string &hinttags; @@ -1060,6 +1062,7 @@ 'nextpattern' + 'nextpattern' stringlist '\bnext',^>$,'^(>>|»)$','^(>|»)','(>|»)$','\bmore\b' @@ -1163,6 +1166,7 @@ 'previouspattern' + 'previouspattern' stringlist @@ -1462,6 +1466,7 @@ 'wia' 'wildanchor' + 'wildanchor' 'wia' regexplist !'/ex/(back|buffer|ext|forward|help|undo)'