| Index: Source/devtools/front_end/TextEditor.js
|
| diff --git a/Source/devtools/front_end/TextEditor.js b/Source/devtools/front_end/TextEditor.js
|
| index 7771e8a1a5b610731b44c0774ba9fd8d82823d4f..c06f5fe9eb7f412a663c6a971b06806fe30d8460 100644
|
| --- a/Source/devtools/front_end/TextEditor.js
|
| +++ b/Source/devtools/front_end/TextEditor.js
|
| @@ -114,11 +114,6 @@ WebInspector.TextEditor.prototype = {
|
|
|
| /**
|
| * @param {number} lineNumber
|
| - */
|
| - revealLine: function(lineNumber) { },
|
| -
|
| - /**
|
| - * @param {number} lineNumber
|
| * @param {boolean} disabled
|
| * @param {boolean} conditional
|
| */
|
| @@ -157,8 +152,9 @@ WebInspector.TextEditor.prototype = {
|
| /**
|
| * @param {number} lineNumber
|
| * @param {number=} columnNumber
|
| + * @param {boolean=} shouldHighlight
|
| */
|
| - highlightPosition: function(lineNumber, columnNumber) { },
|
| + revealPosition: function(lineNumber, columnNumber, shouldHighlight) { },
|
|
|
| clearPositionHighlight: function() { },
|
|
|
|
|