Index: third_party/WebKit/Source/devtools/front_end/main/Main.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/main/Main.js b/third_party/WebKit/Source/devtools/front_end/main/Main.js |
index b55bdd85c4145c7ec9b00b6232012a6082d3b064..ee6a37fb02591bbbe3f1c23b2e9ed79a2650a31b 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/main/Main.js |
+++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js |
@@ -90,28 +90,7 @@ WebInspector.Main.prototype = { |
} |
this._initializeExperiments(prefs); |
- |
- /** |
- * @param {!Array<{name: string}>} changes |
- */ |
- function trackPrefsObject(changes) |
- { |
- if (!Object.keys(prefs).length) { |
- InspectorFrontendHost.clearPreferences(); |
- return; |
- } |
- |
- for (var change of changes) { |
- var name = change.name; |
- if (name in prefs) |
- InspectorFrontendHost.setPreference(name, prefs[name]); |
- else |
- InspectorFrontendHost.removePreference(name); |
- } |
- } |
- |
- Object.observe(prefs, trackPrefsObject); |
- WebInspector.settings = new WebInspector.Settings(prefs); |
+ WebInspector.settings = new WebInspector.Settings(new WebInspector.SettingsStorage(prefs, InspectorFrontendHost.setPreference, InspectorFrontendHost.removePreference)); |
dgozman
2015/11/16 22:43:47
Pass clearPreferences for efficiency.
|
if (!InspectorFrontendHost.isUnderTest()) |
new WebInspector.VersionController().updateVersion(); |