dd more rudimentary completion for options 'activate', 'pageinfo', 'newtab'

and 'popups'
2025-12-23 10:08:00 +01:00 · 2008-09-10 20:26:53 +00:00
parent 23ccb9a689
commit 0bb59f6c5c
4 changed files with 48 additions and 1 deletions
--- a/content/buffer.js
+++ b/content/buffer.js
@@ -167,6 +167,14 @@ liberator.Buffer = function () //{{{

    liberator.options.add(["pageinfo", "pa"], "Desired info on :pa[geinfo]", "charlist", "gfm",
        {
+            completer: function (filter)
+            {
+                return [
+                    ["g", "General info"],
+                    ["f", "Feeds"],
+                    ["m", "Meta tags"]
+                ];
+            },
            validator: function (value) { return !(/[^gfm]/.test(value) || value.length > 3 || value.length < 1); }
        });