1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-22 17:27:57 +01:00

now really remove that option

This commit is contained in:
Martin Stubenschrott
2007-11-02 21:57:06 +00:00
parent c083fcf92c
commit e9b53a9b4a

View File

@@ -582,14 +582,6 @@ vimperator.Options = function() //{{{
default_value: true 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", this.add(new vimperator.Option(["pageinfo", "pa"], "charlist",
{ {
short_help: "Desired info on :pa[geinfo]", short_help: "Desired info on :pa[geinfo]",