DevTools: Add reload button to disconnection dialog

third_party/WebKit/Source/devtools/front_end/main/Main.js

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 8c8748bfb858a998fbaaa0c822000a21fe0a9695..bf9a006b11e6f099d749a4d397bbd0aae6c49c9c 100644
--- a/third_party/WebKit/Source/devtools/front_end/main/Main.js
+++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js
@@ -980,12 +980,18 @@ WebInspector.Main.InspectedNodeRevealer.prototype = {
  */
 WebInspector.RemoteDebuggingTerminatedScreen = function(reason)
 {
+    function reloadDevTools() {

[pfeldman, 2016/07/13 17:29:24]

{ goes next line, but see below...

+        window.location.reload();
+    }
+
     WebInspector.VBox.call(this, true);
     this.registerRequiredCSS("main/remoteDebuggingTerminatedScreen.css");
     var message = this.contentElement.createChild("div", "message");
     message.createChild("span").textContent = WebInspector.UIString("Debugging connection was closed. Reason: ");
     message.createChild("span", "reason").textContent = reason;
     this.contentElement.createChild("div", "message").textContent = WebInspector.UIString("Reconnect when ready by reopening DevTools.");
+    var button = createTextButton(WebInspector.UIString("Reconnect DevTools"), reloadDevTools);

[pfeldman, 2016/07/13 17:29:24]

cook kids would do "() => window.location.reload()"

[paulirish, 2016/07/13 19:01:09]

the coolest. good call.

+    this.contentElement.createChild("div", "button").appendChild(button);
 }
 
 /**