| Index: third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js b/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
|
| index ef722dc28ca57fc932a5c44851a890839cf8d99e..b8568d0a386feea5e1bf2f310838c26256a78085 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
|
| @@ -485,11 +485,13 @@ WebInspector.SourcesTextEditor.prototype = {
|
| /**
|
| * @override
|
| * @param {string} mimeType
|
| + * @return {!Promise}
|
| */
|
| setMimeType: function(mimeType)
|
| {
|
| this._mimeType = mimeType;
|
| - WebInspector.CodeMirrorTextEditor.prototype.setMimeType.call(this, this._applyWhitespaceMimetype(mimeType));
|
| + return WebInspector.CodeMirrorTextEditor.prototype.setMimeType.call(this, mimeType)
|
| + .then(() => this._codeMirror.setOption("mode", this._applyWhitespaceMimetype(mimeType)));
|
| },
|
|
|
| _updateWhitespace: function()
|
|
|