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