| Index: third_party/WebKit/Source/devtools/front_end/source_frame/SourceCodeDiff.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/SourceCodeDiff.js b/third_party/WebKit/Source/devtools/front_end/source_frame/SourceCodeDiff.js
|
| index 546aab6840ac8bcfe0258a33126ec820dc2fb0c2..759457b6e607cf296e62b6d0858f45cc35e7ea15 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/source_frame/SourceCodeDiff.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/source_frame/SourceCodeDiff.js
|
| @@ -7,7 +7,7 @@
|
| SourceFrame.SourceCodeDiff = class {
|
| /**
|
| * @param {!WorkspaceDiff.WorkspaceDiff} workspaceDiff
|
| - * @param {!TextEditor.CodeMirrorTextEditor} textEditor
|
| + * @param {!SourceFrame.SourcesTextEditor} textEditor
|
| */
|
| constructor(workspaceDiff, textEditor) {
|
| this._textEditor = textEditor;
|
| @@ -239,7 +239,7 @@ SourceFrame.SourceCodeDiff.GutterDecorationType = {
|
| */
|
| SourceFrame.SourceCodeDiff.GutterDecoration = class {
|
| /**
|
| - * @param {!TextEditor.CodeMirrorTextEditor} textEditor
|
| + * @param {!SourceFrame.SourcesTextEditor} textEditor
|
| * @param {number} lineNumber
|
| * @param {!SourceFrame.SourceCodeDiff.GutterDecorationType} type
|
| */
|
|
|