[DevTools] Enable deleting of a snippet by pressing delete key

Source/devtools/front_end/SourcesNavigator.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  * 1. Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *
@@ skipping 213 matching lines @@
     },
 
     _handleCreateSnippet: function()
     {
         var data = {};
         data.project = WebInspector.scriptSnippetModel.project();
         data.path = "";
         this.dispatchEventToListeners(WebInspector.NavigatorView.Events.ItemCreationRequested, data);
     },
 
+    /**
+     * @override
+     */
+    _sourceDeleted: function(uiSourceCode)
+    {
+        this._handleRemoveSnippet(uiSourceCode);
+    },
+
     __proto__: WebInspector.NavigatorView.prototype
 }