mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2025-12-22 19:37:59 +01:00
remove accidentally included addOption() cruft from last commit
This commit is contained in:
@@ -125,13 +125,6 @@ vimperator.Options = function() //{{{
|
|||||||
// save if we already changed a GUI related option, used for setInitialGUI
|
// save if we already changed a GUI related option, used for setInitialGUI
|
||||||
var guioptions_done = false, showtabline_done = false, laststatus_done = false;
|
var guioptions_done = false, showtabline_done = false, laststatus_done = false;
|
||||||
|
|
||||||
function addOption(option)
|
|
||||||
{
|
|
||||||
Options.prototype.__defineGetter__(option.name, function() { return option.value; });
|
|
||||||
Options.prototype.__defineSetter__(option.name, function(value) { option.value = value; });
|
|
||||||
options.push(option);
|
|
||||||
}
|
|
||||||
|
|
||||||
function optionsIterator()
|
function optionsIterator()
|
||||||
{
|
{
|
||||||
for (var i = 0; i < options.length; i++)
|
for (var i = 0; i < options.length; i++)
|
||||||
|
|||||||
Reference in New Issue
Block a user