| Index: Source/devtools/front_end/settings/SettingsScreen.js
|
| diff --git a/Source/devtools/front_end/settings/SettingsScreen.js b/Source/devtools/front_end/settings/SettingsScreen.js
|
| index 4c72d1ea643e8955e8bfa84ebc003c7e6eb49612..28775f2b73252a547929830413969c06b226237f 100644
|
| --- a/Source/devtools/front_end/settings/SettingsScreen.js
|
| +++ b/Source/devtools/front_end/settings/SettingsScreen.js
|
| @@ -188,7 +188,8 @@
|
|
|
| function restoreAndReload()
|
| {
|
| - WebInspector.settings.clearAll();
|
| + if (window.localStorage)
|
| + window.localStorage.clear();
|
| WebInspector.reload();
|
| }
|
| }
|
|
|