| Index: third_party/WebKit/Source/devtools/front_end/sources/ScriptFormatterEditorAction.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/ScriptFormatterEditorAction.js b/third_party/WebKit/Source/devtools/front_end/sources/ScriptFormatterEditorAction.js
|
| index d4d16e9c2eb800751cf560b931f7dd3ede654e25..a55dfd9f9c12df5556b0b6a4d31c48acf2de0ea2 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/ScriptFormatterEditorAction.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/ScriptFormatterEditorAction.js
|
| @@ -386,7 +386,7 @@ Sources.ScriptFormatterEditorAction = class {
|
| var endLocation = formatterMapping.originalToFormatted(range.endLine, range.endColumn);
|
|
|
| formattedUISourceCode.addDecoration(
|
| - new Common.TextRange(startLocation[0], startLocation[1], endLocation[0], endLocation[1]),
|
| + new TextUtils.TextRange(startLocation[0], startLocation[1], endLocation[0], endLocation[1]),
|
| /** @type {string} */ (decoration.type()), decoration.data());
|
| }
|
|
|
|
|