| 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 8d8eb897fbddcf93fc510f1e65ea5a55d4a106bb..a6e8fd3bf502604ed4e5fb001d6d0de0eec7857a 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/main/Main.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js
|
| @@ -73,9 +73,14 @@ WebInspector.Main = class {
|
| */
|
| _createSettings(prefs) {
|
| this._initializeExperiments(prefs);
|
| - WebInspector.settings = new WebInspector.Settings(new WebInspector.SettingsStorage(
|
| + var storagePrefix = WebInspector.isCustomDevtoolsFrontend() ? '__custom__' : '';
|
| + var clearLocalStorage = window.localStorage ? window.localStorage.clear.bind(window.localStorage) : undefined;
|
| + var localStorage =
|
| + new WebInspector.SettingsStorage(window.localStorage || {}, undefined, undefined, clearLocalStorage, storagePrefix);
|
| + var globalStorage = new WebInspector.SettingsStorage(
|
| prefs, InspectorFrontendHost.setPreference, InspectorFrontendHost.removePreference,
|
| - InspectorFrontendHost.clearPreferences));
|
| + InspectorFrontendHost.clearPreferences, storagePrefix);
|
| + WebInspector.settings = new WebInspector.Settings(globalStorage, localStorage);
|
|
|
| if (!InspectorFrontendHost.isUnderTest())
|
| new WebInspector.VersionController().updateVersion();
|
|
|