DevTools: [CodeMirror] add comment plugin

Source/devtools/front_end/CodeMirrorTextEditor.js

 /*
  * Copyright (C) 2012 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:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 19 matching lines @@
 
 importScript("cm/codemirror.js");
 importScript("cm/css.js");
 importScript("cm/javascript.js");
 importScript("cm/xml.js");
 importScript("cm/htmlmixed.js");
 importScript("cm/matchbrackets.js");
 importScript("cm/closebrackets.js");
 importScript("cm/markselection.js");
 importScript("cm/showhint.js");
+importScript("cm/comment.js");
 
 /**
  * @constructor
  * @extends {WebInspector.View}
  * @implements {WebInspector.TextEditor}
  * @param {?string} url
  * @param {WebInspector.TextEditorDelegate} delegate
  */
 WebInspector.CodeMirrorTextEditor = function(url, delegate)
 {
@@ skipping 16 matching lines @@
     this._codeMirror = window.CodeMirror(this.element, {
         lineNumbers: true,
         gutters: ["CodeMirror-linenumbers"],
         matchBrackets: true,
         smartIndent: false,
         styleSelectedText: true,
         electricChars: false,
         autoCloseBrackets: true
     });
 
-    var extraKeys = {"Ctrl-Space": "autocomplete"};
+    var extraKeys = {};
+    extraKeys["Ctrl-Space"] = "autocomplete";
+    extraKeys[(WebInspector.isMac() ? "Cmd-" : "Ctrl-") + "/"] = "toggleComment";
     var indent = WebInspector.settings.textEditorIndent.get();
     if (indent === WebInspector.TextUtils.Indent.TabCharacter) {
         this._codeMirror.setOption("indentWithTabs", true);
         this._codeMirror.setOption("indentUnit", 4);
     } else {
         this._codeMirror.setOption("indentWithTabs", false);
         this._codeMirror.setOption("indentUnit", indent.length);
         extraKeys.Tab = function(codeMirror)
         {
             if (codeMirror.somethingSelected())
@@ skipping 905 matching lines @@
     var modifierKey = WebInspector.isMac() ? "Alt" : "Ctrl";
     var leftKey = modifierKey + "-Left";
     var rightKey = modifierKey + "-Right";
     var keyMap = {};
     keyMap[leftKey] = moveLeft.bind(this, false);
     keyMap[rightKey] = moveRight.bind(this, false);
     keyMap["Shift-" + leftKey] = moveLeft.bind(this, true);
     keyMap["Shift-" + rightKey] = moveRight.bind(this, true);
     codeMirror.addKeyMap(keyMap);
 }