DevTools: Add reload button to disconnection dialog

third_party/WebKit/Source/devtools/front_end/main/Main.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 968 matching lines @@
  * @param {string} reason
  */
 WebInspector.RemoteDebuggingTerminatedScreen = function(reason)
 {
     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"), () => window.location.reload());
+    this.contentElement.createChild("div", "button").appendChild(button);
 }
 
 /**
  * @param {string} reason
  */
 WebInspector.RemoteDebuggingTerminatedScreen.show = function(reason)
 {
     var dialog = new WebInspector.Dialog();
     dialog.setWrapsContent(true);
     dialog.addCloseButton();
@@ skipping 118 matching lines @@
      * @return {?Element}
      */
     settingElement: function()
     {
         return WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Show rulers"), WebInspector.moduleSetting("showMetricsRulers"));
     }
 }
 
 
 new WebInspector.Main();