| Index: third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html
|
| diff --git a/third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html b/third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html
|
| index f7812443a3674e6df6b393ac781419f9b3e58fea..66a80cef7a35c7b08d1f2a427c305ea4f035da55 100644
|
| --- a/third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html
|
| +++ b/third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html
|
| @@ -85,6 +85,10 @@ body.platform-linux {
|
| overflow: hidden;
|
| }
|
|
|
| +#reloading-blanket {
|
| + background-color: rgb(255, 255, 255);
|
| +}
|
| +
|
| .controls-line > * {
|
| background-color: rgb(255, 255, 194);
|
| border: 1px solid rgb(202, 202, 202);
|
| @@ -474,6 +478,12 @@ function drawPausedInDebuggerMessage(message)
|
| document.body.classList.add("dimmed");
|
| }
|
|
|
| +function showReloadingBlanket()
|
| +{
|
| + var element = document.getElementById("reloading-blanket");
|
| + element.style.display = "block";
|
| +}
|
| +
|
| function _drawGrid(context, rulerAtRight, rulerAtBottom)
|
| {
|
| if (window._gridPainted)
|
| @@ -659,6 +669,7 @@ function reset(resetData)
|
| window._controlsVisible = false;
|
| document.querySelector(".controls-line").style.visibility = "hidden";
|
| document.getElementById("element-title").style.visibility = "hidden";
|
| + document.getElementById("reloading-blanket").style.display = "none";
|
| document.getElementById("tooltip-container").removeChildren();
|
|
|
| document.body.classList.remove("dimmed");
|
| @@ -1647,6 +1658,7 @@ document.addEventListener("keydown", onDocumentKeyDown);
|
| </div>
|
| <div id="tooltip-container"></div>
|
| <div id="editor" class="fill"></div>
|
| +<div id="reloading-blanket" class="fill" style="display: none"></div>
|
| <div class="controls-line">
|
| <div class="message-box"><div id="paused-in-debugger"></div></div>
|
| <div class="button" id="resume-button" title="Resume script execution (F8)."><div class="glyph"></div></div>
|
|
|