| Index: third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
|
| index d370cfb8a2d0c94f68228f092690bb841c09ff3e..b4e50fb69298d36935fe023dc7b76da4981d0c7d 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
|
| @@ -141,6 +141,9 @@ WebInspector.NetworkManager.prototype = {
|
| this._networkAgent.setCacheDisabled(enabled);
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| dispose: function()
|
| {
|
| WebInspector.moduleSetting("cacheDisabled").removeChangeListener(this._cacheDisabledSettingChanged, this);
|
|
|