DevTools: roll CodeMirror to v4.0.3

Source/devtools/front_end/CodeMirrorUtils.js

 /*
  * Copyright (C) 2013 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 54 matching lines @@
         var codeMirror = window.CodeMirror(element, {
             mode: config.mode,
             lineWrapping: config.lineWrapping,
             smartIndent: config.smartIndent,
             autofocus: true,
             theme: config.theme,
             value: config.initialValue
         });
         codeMirror.getWrapperElement().classList.add("source-code");
         codeMirror.on("cursorActivity", function(cm) {
-            cm.display.cursor.scrollIntoViewIfNeeded(false);
+            cm.display.cursorDiv.scrollIntoViewIfNeeded(false);
         });
         editingContext.codeMirror = codeMirror;
     },
 
     closeEditor: function(editingContext)
     {
         editingContext.element.removeEventListener("copy", this._consumeCopy, false);
         editingContext.cssLoadView.detach();
     },
 
@@ skipping 58 matching lines @@
 {
     WebInspector.VBox.call(this);
     this.element.classList.add("hidden");
     this.registerRequiredCSS("cm/codemirror.css");
     this.registerRequiredCSS("cm/cmdevtools.css");
 }
 
 WebInspector.CodeMirrorCSSLoadView.prototype = {
     __proto__: WebInspector.VBox.prototype
 }