DevTools: introduce "restore defaults and reload" in settings pane.

Source/devtools/front_end/inspector.js

Index: Source/devtools/front_end/inspector.js
diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js
index 7a686993011068a3cd6b379fff50c223c6be773b..1196018a762d6e02da1d83ee8ca579e65b9b244b 100644
--- a/Source/devtools/front_end/inspector.js
+++ b/Source/devtools/front_end/inspector.js
@@ -214,19 +214,7 @@ WebInspector.suggestReload = function()
 WebInspector.reload = function()
 {
     InspectorAgent.reset();
-
-    var queryParams = window.location.search;
-    var url = window.location.href;
-    url = url.substring(0, url.length - queryParams.length);
-    var queryParamsObject = {};
-    for (var name in WebInspector.queryParamsObject)
-        queryParamsObject[name] = WebInspector.queryParamsObject[name];
-    if (this.dockController)
-        queryParamsObject["dockSide"] = this.dockController.dockSide();
-    var names = Object.keys(queryParamsObject);
-    for (var i = 0; i < names.length; ++i)
-        url += (i ? "&" : "?") + names[i] + "=" + queryParamsObject[names[i]];
-    document.location = url;
+    window.location.reload();
 }
 
 WebInspector.loaded = function()