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() { }, |