diff --git a/chrome/content/vimperator/options.js b/chrome/content/vimperator/options.js index 01f58575..0cea3ecd 100644 --- a/chrome/content/vimperator/options.js +++ b/chrome/content/vimperator/options.js @@ -339,7 +339,6 @@ function Options() //{{{ "
  • b: bookmark bar
  • " + "
  • s: original Firefox statusbar
  • ", setter: function(value) { Options.setPref("guioptions", value); setGuiOptions(value); }, - getter: function() { return Options.getPref("guioptions"); }, default_value: "", validator: function (value) { if (/[^mTbs]/.test(value)) return false; else return true; } } @@ -418,7 +417,6 @@ function Options() //{{{ "
  • 2: Always show tab bar
  • " + "Not implemented yet.", setter: function(value) { Options.setPref("showtabline", value); setShowTabline(value); }, - getter: function() { return Options.getPref("showtabline"); }, default_value: 2, validator: function (value) { if (value>=0 && value <=2) return true; else return false; } } @@ -430,7 +428,6 @@ function Options() //{{{ "\"Title of webpage - Vimperator\".
    If you don't like that, you can restore it with: " + ":set titlestring=Mozilla Firefox.", setter: function(value) { Options.setPref("titlestring", value); setTitleString(value); }, - getter: function() { return Options.getPref("titlestring"); }, default_value: "Vimperator" } ));