[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..a4168fe0ba2964c89bd7f73c94b8a3dd3983d22a 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)

[vsevik, 2013/09/27 12:23:18]

Please rename it to sourceDeleted. Underscore means file-private in DevTools
code.

+    {
+    },
+
+    /**
+     * @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
      */