| 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..4b1d40a369855e6f40f18cdf910ad8b5a754b2c9 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/main/Main.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js
|
| @@ -986,6 +986,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);
|
| }
|
|
|
| /**
|
|
|