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() |