Chromium Code Reviews| Index: third_party/WebKit/Source/devtools/front_end/common/Settings.js |
| diff --git a/third_party/WebKit/Source/devtools/front_end/common/Settings.js b/third_party/WebKit/Source/devtools/front_end/common/Settings.js |
| index 280e168499ef29428b2a15c9190a0eabe04baea1..26b9e7123a1c31a88b3467a561cf74b1d121d346 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/common/Settings.js |
| +++ b/third_party/WebKit/Source/devtools/front_end/common/Settings.js |
| @@ -75,6 +75,7 @@ Common.Settings = class { |
| this.createSetting(settingName, defaultValue, storageType); |
| if (descriptor['title']) |
| setting.setTitle(descriptor['title']); |
| + setting.setExtension(extension); |
| this._moduleSettings.set(settingName, setting); |
| } |
| @@ -263,6 +264,7 @@ Common.Setting = class { |
| this._storage = storage; |
| /** @type {string} */ |
| this._title = ''; |
| + this._extension = null; |
| } |
| /** |
| @@ -342,6 +344,20 @@ Common.Setting = class { |
| } |
| /** |
| + * @return {?Runtime.Extension} |
| + */ |
| + extension() { |
| + return this._extension; |
| + } |
| + |
| + /** |
| + * @param {!Runtime.Extension} extension |
| + */ |
| + setExtension(extension) { |
|
dgozman
2017/05/16 18:47:25
Remove this setter, and assign directly above. We
luoe
2017/05/30 20:56:14
Done.
|
| + this._extension = extension; |
| + } |
| + |
| + /** |
| * @param {string} message |
| * @param {string} name |
| * @param {string} value |