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..e97420d0b42c36b99528b7a1854af3e6030bca76 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 |
} |