| 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 41d0d9ba36d49fce89744efb2f175f76520b572d..41c36806b81630ef405336607ef11a0cbe3edffa 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
|
| @@ -626,6 +626,7 @@ TextEditor.CodeMirrorTextEditor = class extends UI.VBox {
|
| }
|
|
|
| /**
|
| + * @override
|
| * @param {number} lineNumber
|
| * @param {number} column
|
| * @return {?{startColumn: number, endColumn: number, type: string}}
|
|
|