gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 12:42:26 +01:00
Code Issues Projects Releases Wiki Activity

Fixing tab completion for normal :set values

Browse Source
This commit is contained in:
Daniel Bainton
2008-01-13 01:51:33 +00:00
parent 435452018c
commit f369cd1fe0
3 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
content/commands.js
View File

@@ -1932,7 +1932,7 @@ vimperator.Commands = function () //{{{
else if (reset) else if (reset)
vimperator.options.resetFirefoxPref(name); vimperator.options.resetFirefoxPref(name);
else if (invertBoolean) else if (invertBoolean)
vimperator.options.invertFirefoxBoolean(name); vimperator.options.invertFirefoxPref(name);
else if (matches[3]) else if (matches[3])
{ {
var value = matches[5]; var value = matches[5];

4
content/completion.js
View File

@@ -391,10 +391,12 @@ vimperator.Completion = function () //{{{
} }
for (var i = 0; i < prefArray.length; i++) for (var i = 0; i < prefArray.length; i++)
{
if (!filter) if (!filter)
optionCompletions.push([prefArray[i], vimperator.options.getFirefoxPref(prefArray[i])]); optionCompletions.push([prefArray[i], vimperator.options.getFirefoxPref(prefArray[i])]);
else else
optionCompletions.push([[prefArray[i]], vimperator.options.getFirefoxPref(prefArray[i])]); optionCompletions.push([[prefArray[i]], vimperator.options.getFirefoxPref(prefArray[i])]);
}
if (!filter) if (!filter)
@@ -421,7 +423,7 @@ vimperator.Completion = function () //{{{
for (var option in vimperator.options) for (var option in vimperator.options)
{ {
if (option.hasName(filter)) if (option.hasName(filter))
return [filter.length + 1, [[option.value, ""]]]; return [filter.length + 1, [[option.value + "", ""]]];
} }
return [0, optionCompletions]; return [0, optionCompletions];
} }

4
content/options.js
View File

@@ -447,7 +447,9 @@ vimperator.Options = function () //{{{
{ {
return firefoxBranch.clearUserPref(name); return firefoxBranch.clearUserPref(name);
}, },
invertFirefoxBoolean: function (name)
// this works only for booleans
invertFirefoxPref: function (name)
{ {
if (firefoxBranch.getPrefType(name) == firefoxBranch.PREF_BOOL) if (firefoxBranch.getPrefType(name) == firefoxBranch.PREF_BOOL)
this.setFirefoxPref(name, !this.getFirefoxPref(name)); this.setFirefoxPref(name, !this.getFirefoxPref(name));