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