| Index: third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js b/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| index 1d00c4e7414602a8b5f65bf5e86a2671438e5d86..afd3d4d56b4fd203443a4c47b4e41f21aa5530ce 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
|
| @@ -43,7 +43,7 @@ Sources.EditingLocationHistoryManager = class {
|
| }
|
|
|
| /**
|
| - * @param {!Sources.UISourceCodeFrame} sourceFrame
|
| + * @param {!SourceFrame.UISourceCodeFrame} sourceFrame
|
| */
|
| trackSourceFrameCursorJumps(sourceFrame) {
|
| sourceFrame.textEditor.addEventListener(
|
|
|