DevTools: Implement the console prompt with CodeMirror

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

 /*
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2009 Anthony Ricaud <rik@webkit.org>
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 39 matching lines @@
     padding: 2px 0;
     overflow-y: auto;
     word-wrap: break-word;
     -webkit-user-select: text;
     transform: translateZ(0);
 }
 
 #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 {
     background-position: -40px -20px;
 }
 
 .console-message,
 .console-user-command {
     clear: right;
     position: relative;
@@ skipping 386 matching lines @@
 
 @media (-webkit-min-device-pixel-ratio: 1.1) {
 .console-message-stack-trace-triangle {
     -webkit-mask-image: url(Images/toolbarButtonGlyphs_2x.png);
 }
 } /* media */
 
 .console-message-stack-trace-toggle.expanded .console-message-stack-trace-triangle {
     -webkit-mask-position: -20px -96px;
 }