gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-04-18 10:53:36 +02:00
Code Issues Projects Releases Wiki Activity

remove unnecessarily defined getters for the go, stal, titlestring options

Browse Source
This commit is contained in:
Doug Kearns
2007-06-25 15:57:11 +00:00
parent bb08bfe40b
commit a437651f2c
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
chrome/content/vimperator/options.js
View File

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