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()); |
} |