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; }