diff --git a/content/options.js b/content/options.js index bb93ab80..3b00ce8c 100644 --- a/content/options.js +++ b/content/options.js @@ -582,14 +582,6 @@ vimperator.Options = function() //{{{ default_value: true } )); - this.add(new vimperator.Option(["maxhints", "mh"], "number", - { - short_help: "Maximum number of simultaneously shown hints", - help: "If you want to speed up display of hints, choose a smaller value", - default_value: 250, - validator: function (value) { if (value >= 1 && value <= 1000) return true; else return false; } - } - )); this.add(new vimperator.Option(["pageinfo", "pa"], "charlist", { short_help: "Desired info on :pa[geinfo]",