| Index: Source/devtools/front_end/SourcesNavigator.js
|
| diff --git a/Source/devtools/front_end/SourcesNavigator.js b/Source/devtools/front_end/SourcesNavigator.js
|
| index 7fc40c885c0efc77ed07810bef91a05894226c16..334800cc915965a29af018c65a10ae6d71de40b1 100644
|
| --- a/Source/devtools/front_end/SourcesNavigator.js
|
| +++ b/Source/devtools/front_end/SourcesNavigator.js
|
| @@ -231,5 +231,13 @@ WebInspector.SnippetsNavigatorView.prototype = {
|
| this.dispatchEventToListeners(WebInspector.NavigatorView.Events.ItemCreationRequested, data);
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| + sourceDeleted: function(uiSourceCode)
|
| + {
|
| + this._handleRemoveSnippet(uiSourceCode);
|
| + },
|
| +
|
| __proto__: WebInspector.NavigatorView.prototype
|
| }
|
|
|