| Index: third_party/WebKit/Source/devtools/front_end/coverage/CoverageView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/coverage/CoverageView.js b/third_party/WebKit/Source/devtools/front_end/coverage/CoverageView.js
|
| index 77c48d09308036de7080c6c5b37316dfd0229582..c0abe26a3b94a70683dbc06f2ed22f6d9b44aafa 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/coverage/CoverageView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/coverage/CoverageView.js
|
| @@ -122,7 +122,7 @@ Coverage.CoverageView.LineDecorator = class {
|
| /**
|
| * @override
|
| * @param {!Workspace.UISourceCode} uiSourceCode
|
| - * @param {!TextEditor.CodeMirrorTextEditor} textEditor
|
| + * @param {!SourceFrame.SourcesTextEditor} textEditor
|
| */
|
| decorate(uiSourceCode, textEditor) {
|
| var gutterType = 'CodeMirror-gutter-coverage';
|
|
|