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

Source/devtools/front_end/NavigatorView.js

Index: Source/devtools/front_end/NavigatorView.js
diff --git a/Source/devtools/front_end/NavigatorView.js b/Source/devtools/front_end/NavigatorView.js
index 481ffe37bcf10d20d2035535883d997a4841e66f..7edca165fa4753707d63c5372d36b66b02a91bd8 100644
--- a/Source/devtools/front_end/NavigatorView.js
+++ b/Source/devtools/front_end/NavigatorView.js
@@ -184,6 +184,13 @@ WebInspector.NavigatorView.prototype = {
     /**
      * @param {WebInspector.UISourceCode} uiSourceCode
      */
+    sourceDeleted: function(uiSourceCode)
+    {
+    },
+
+    /**
+     * @param {WebInspector.UISourceCode} uiSourceCode
+     */
     removeUISourceCode: function(uiSourceCode)
     {
         var node = this._uiSourceCodeNodes.get(uiSourceCode);
@@ -676,6 +683,12 @@ WebInspector.NavigatorSourceTreeElement.prototype = {
         return true;
     },
 
+    ondelete: function()
+    {
+        this._navigatorView.sourceDeleted(this.uiSourceCode);
+        return true;
+    },
+
     /**
      * @param {Event} event
      */