DevTools: Implement the console prompt with CodeMirror

third_party/WebKit/Source/devtools/front_end/console/consoleView.css

Index: third_party/WebKit/Source/devtools/front_end/console/consoleView.css
diff --git a/third_party/WebKit/Source/devtools/front_end/console/consoleView.css b/third_party/WebKit/Source/devtools/front_end/console/consoleView.css
index a10937925d5d603b8a6f32c8f473b46d9e1c702d..598a02095a6995a00f9f6c6db3f9368d6afea3e6 100644
--- a/third_party/WebKit/Source/devtools/front_end/console/consoleView.css
+++ b/third_party/WebKit/Source/devtools/front_end/console/consoleView.css
@@ -57,15 +57,25 @@
 #console-prompt {
     clear: right;
     position: relative;
-    padding: 3px 22px 1px 0;
-    margin-left: 24px;
+    margin: 0 22px 0 20px;
     min-height: 18px;  /* Sync with ConsoleViewMessage.js */
-    white-space: pre-wrap;
-    -webkit-user-modify: read-write-plaintext-only;
+}
+
+#console-prompt .CodeMirror{

[dgozman, 2016/09/14 21:20:17]

space before {

+    padding: 3px 0 1px 0;
+}
+
+#console-prompt .CodeMirror-line {
+    padding-top:0;

[dgozman, 2016/09/14 21:20:17]

space after :

+}
+
+#console-prompt .CodeMirror-lines {
+    padding-top:0;

[dgozman, 2016/09/14 21:20:17]

ditto

 }
 
 #console-prompt::before {
     background-position: -20px -20px;
+    margin-left:4px;

[dgozman, 2016/09/14 21:20:17]

ditto

[einbinder, 2016/09/15 00:14:09]

Fixed all.

 }
 
 .console-log-level .console-user-command-result::before {