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(); |
} |
} |