diff options
Diffstat (limited to 'chrome/code/redirectorprefs.js')
| -rw-r--r-- | chrome/code/redirectorprefs.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/chrome/code/redirectorprefs.js b/chrome/code/redirectorprefs.js index 3920539..40e8737 100644 --- a/chrome/code/redirectorprefs.js +++ b/chrome/code/redirectorprefs.js @@ -14,7 +14,7 @@ RedirectorPrefs.prototype = { _debugEnabled : null, _defaultDir : null, _redirects : null, - + _proxyServerPort : null, _prefBranch : null, _listeners : null, @@ -36,6 +36,9 @@ RedirectorPrefs.prototype = { get debugEnabled() { return this._debugEnabled; }, set debugEnabled(value) { this._prefBranch.setBoolPref('debugEnabled', value); }, + get proxyServerPort() { return this._proxyServerPort; }, + set proxyServerPort(value) { this._prefBranch.setIntPref('proxyServerPort', value); }, + get defaultDir() { return this._defaultDir; }, set defaultDir(value) { this._prefBranch.setCharPref('defaultDir', value); }, |