| Index: third_party/WebKit/Source/web/WebDevToolsAgentImpl.cpp
|
| diff --git a/third_party/WebKit/Source/web/WebDevToolsAgentImpl.cpp b/third_party/WebKit/Source/web/WebDevToolsAgentImpl.cpp
|
| index 087fe335b8344806be73f37c313371bab207c1e4..90c6bdd37bf47f8952eb29afbd9875ddad580073 100644
|
| --- a/third_party/WebKit/Source/web/WebDevToolsAgentImpl.cpp
|
| +++ b/third_party/WebKit/Source/web/WebDevToolsAgentImpl.cpp
|
| @@ -521,6 +521,12 @@ void WebDevToolsAgentImpl::didRemovePageOverlay(const GraphicsLayer* layer)
|
| m_layerTreeAgent->didRemovePageOverlay(layer);
|
| }
|
|
|
| +void WebDevToolsAgentImpl::rootLayerCleared()
|
| +{
|
| + if (m_overlay)
|
| + m_overlay->maybeClearReloadingBanner();
|
| +}
|
| +
|
| void WebDevToolsAgentImpl::layerTreeViewChanged(WebLayerTreeView* layerTreeView)
|
| {
|
| m_layerTreeId = layerTreeView ? layerTreeView->layerTreeId() : 0;
|
| @@ -528,10 +534,12 @@ void WebDevToolsAgentImpl::layerTreeViewChanged(WebLayerTreeView* layerTreeView)
|
| m_tracingAgent->setLayerTreeId(m_layerTreeId);
|
| }
|
|
|
| -void WebDevToolsAgentImpl::enableTracing(const String& categoryFilter)
|
| +void WebDevToolsAgentImpl::enableTracing(const String& categoryFilter, const String& reloadingBannerMessage)
|
| {
|
| if (m_client)
|
| m_client->enableTracing(categoryFilter);
|
| + if (!reloadingBannerMessage.isNull() && m_overlay)
|
| + m_overlay->setReloadingBanner(reloadingBannerMessage);
|
| }
|
|
|
| void WebDevToolsAgentImpl::disableTracing()
|
|
|