DevTools: Implement the console prompt with CodeMirror

third_party/WebKit/Source/devtools/BUILD.gn

 # Copyright 2014 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 import("//build/config/features.gni")
 import("//third_party/WebKit/Source/core/core.gni")
 
 devtools_embedder_scripts = [
   "front_end/devtools.js",
   "front_end/Tests.js",
@@ skipping 375 matching lines @@
   "front_end/components_lazy/FilmStripModel.js",
   "front_end/components_lazy/FilmStripView.js",
   "front_end/components_lazy/LineLevelProfile.js",
 ]
 devtools_console_js_files = [
   "front_end/console/ConsoleContextSelector.js",
   "front_end/console/consoleView.css",
   "front_end/console/ConsolePanel.js",
   "front_end/console/ConsoleView.js",
   "front_end/console/ConsoleViewMessage.js",
+  "front_end/console/ConsolePrompt.js",

[pfeldman, 2016/09/14 00:31:52]

sort alphabetically

[einbinder, 2016/09/14 20:21:05]

Done.

 ]
 devtools_devices_js_files = [
   "front_end/devices/devicesView.css",
   "front_end/devices/DevicesView.js",
 ]
 devtools_diff_js_files = [
   "front_end/diff/Diff.js",
   "front_end/diff/diff_match_patch.js",
 ]
 devtools_elements_js_files = [
@@ skipping 754 matching lines @@
     ]
   }
 
   copy("copy_emulated_devices_images_debug") {
     sources = devtools_emulated_devices_images
     outputs = [
       "$resources_out_debug_dir/emulated_devices/{{source_file_part}}",
     ]
   }
 }