Index: third_party/WebKit/Source/devtools/front_end/network/NetworkLogView.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/network/NetworkLogView.js b/third_party/WebKit/Source/devtools/front_end/network/NetworkLogView.js |
index 2aa7048e92790331e2893a2d1a8f2f39efcce333..5db1474fcd20d2d25bd47e2f5710cca96068ac95 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/network/NetworkLogView.js |
+++ b/third_party/WebKit/Source/devtools/front_end/network/NetworkLogView.js |
@@ -90,8 +90,8 @@ |
this._currentMatchedRequestNode = null; |
this._currentMatchedRequestIndex = -1; |
+ /** @type {!Components.Linkifier} */ |
this.linkifier = new Components.Linkifier(); |
- this.badgePool = new ProductRegistry.BadgePool(); |
this._recording = false; |
this._preserveLog = false; |
@@ -922,7 +922,6 @@ |
this._timeCalculator.setWindow(null); |
this.linkifier.reset(); |
- this.badgePool.reset(); |
if (this._activeGroupLookup) |
this._activeGroupLookup.reset(); |