From d253713f752e5ab4a52a75e6d42a4b3f6d4c27b8 Mon Sep 17 00:00:00 2001
From: paulirish <paulirish@chromium.org>
Date: Wed, 20 Jul 2016 14:03:07 -0700
Subject: [PATCH] DevTools: Add reload button to disconnection dialog

BUG=627640

Review-Url: https://codereview.chromium.org/2148563003
Cr-Commit-Position: refs/heads/master@{#406669}
---
 front_end/main/Main.js                             | 2 ++
 front_end/main/remoteDebuggingTerminatedScreen.css | 9 +++++++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/front_end/main/Main.js b/front_end/main/Main.js
index 19797058e5..8e31408e2b 100644
--- a/front_end/main/Main.js
+++ b/front_end/main/Main.js
@@ -979,6 +979,8 @@ WebInspector.RemoteDebuggingTerminatedScreen = function(reason)
     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);
 }
 
 /**
diff --git a/front_end/main/remoteDebuggingTerminatedScreen.css b/front_end/main/remoteDebuggingTerminatedScreen.css
index afd8c8bdca..84916e168b 100644
--- a/front_end/main/remoteDebuggingTerminatedScreen.css
+++ b/front_end/main/remoteDebuggingTerminatedScreen.css
@@ -5,15 +5,20 @@
  */
 
 .widget {
-    padding: 25px;
+    padding: 20px;
 }
 
-.message {
+.message, .button {
     font-size: larger;
     white-space: pre;
     margin: 5px;
 }
 
+.button {
+    text-align: center;
+    margin-top: 10px;
+}
+
 .reason {
     color: #8b0000;
 }