| Index: third_party/WebKit/Source/devtools/front_end/source_frame/SourceFrame.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/SourceFrame.js b/third_party/WebKit/Source/devtools/front_end/source_frame/SourceFrame.js
|
| index fdda3c26e1fa99b3225f1d5f6f923b652dbf2a40..fe07c5d67b5b7f40de45a8ce48541b2a6b2ea6d3 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/source_frame/SourceFrame.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/source_frame/SourceFrame.js
|
| @@ -488,7 +488,7 @@ WebInspector.SourceFrame.prototype = {
|
| return;
|
| this._textEditor.highlightSearchResults(this._searchRegex, null);
|
|
|
| - var oldText = this._textEditor.copyRange(range);
|
| + var oldText = this._textEditor.text(range);
|
| var regex = searchConfig.toSearchRegex();
|
| var text;
|
| if (regex.__fromRegExpQuery)
|
| @@ -623,7 +623,7 @@ WebInspector.SourceFrame.prototype = {
|
| }
|
| textRange = textRange.normalize();
|
|
|
| - var selectedText = this._textEditor.copyRange(textRange);
|
| + var selectedText = this._textEditor.text(textRange);
|
| if (textRange.startLine === textRange.endLine)
|
| this._sourcePosition.setText(WebInspector.UIString("%d characters selected", selectedText.length));
|
| else
|
|
|