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

Source/devtools/front_end/inspector.js

 /*
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
@@ skipping 203 matching lines @@
 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();

[vsevik, 2014/02/17 12:38:14]

The code around is not needed anymore.

     var names = Object.keys(queryParamsObject);
     for (var i = 0; i < names.length; ++i)
         url += (i ? "&" : "?") + names[i] + "=" + queryParamsObject[names[i]];
     document.location = url;
 }
 
 WebInspector.loaded = function()
 {
     if (!InspectorFrontendHost.sendMessageToEmbedder) {
         var helpScreen = new WebInspector.HelpScreen(WebInspector.UIString("Incompatible Chrome version"));
@@ skipping 663 matching lines @@
        "var tabId = " + WebInspector._inspectedTabId + ";" +
        platformExtensionAPI.toString();
 }
 
 WebInspector.setInspectedTabId = function(tabId)
 {
     WebInspector._inspectedTabId = tabId;
 }
 
 window.DEBUG = true;