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}} |