| Index: third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js b/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| index d3cbcf226c44b5349df3ed033ee6e195d883e3d0..f43047472248463d9e369d2e66c252f91b310bf0 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| @@ -776,6 +776,9 @@ WebInspector.CodeMirrorTextEditor.prototype = {
|
| return bookmarks;
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| focus: function()
|
| {
|
| this._codeMirror.focus();
|
|
|