DevTools: Fix Ctrl-Z for source color picker

third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js

Index: third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js b/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
index 229c825907e8ac6b02db30b0530c11b7a86b6f06..d5cd74c367426a2270c0ecb0e9b8b6484ab35b06 100644
--- a/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
+++ b/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
@@ -1340,12 +1340,13 @@ WebInspector.CodeMirrorTextEditor.prototype = {
     /**
      * @param {!WebInspector.TextRange} range
      * @param {string} text
+     * @param {string=} origin
      * @return {!WebInspector.TextRange}
      */
-    editRange: function(range, text)
+    editRange: function(range, text, origin)
     {
         var pos = WebInspector.CodeMirrorUtils.toPos(range);
-        this._codeMirror.replaceRange(text, pos.start, pos.end);
+        this._codeMirror.replaceRange(text, pos.start, pos.end, origin);
         var newRange = WebInspector.CodeMirrorUtils.toRange(pos.start, this._codeMirror.posFromIndex(this._codeMirror.indexFromPos(pos.start) + text.length));
         this._delegate.onTextChanged(range, newRange);
         if (WebInspector.moduleSetting("textEditorAutoDetectIndent").get())