DevTools: "Jump between editing locations" experiment

Source/devtools/front_end/TextEditor.js

Index: Source/devtools/front_end/TextEditor.js
diff --git a/Source/devtools/front_end/TextEditor.js b/Source/devtools/front_end/TextEditor.js
index 756e5c54a0c2d1d3502f1c97837d419cdd0f9783..51e87005d5dbc6f952e351433482e0cdb851180c 100644
--- a/Source/devtools/front_end/TextEditor.js
+++ b/Source/devtools/front_end/TextEditor.js
@@ -275,6 +275,33 @@ WebInspector.TextEditor.prototype = {
      * @param {?WebInspector.CompletionDictionary} dictionary
      */
     setCompletionDictionary: function(dictionary) { },
+
+    /**
+     * @param {number} lineNumber
+     * @param {number} columnNumber
+     * @return {?WebInspector.TextEditorPositionHandle}
+     */
+    textEditorPositionHandle: function(lineNumber, columnNumber) { }
+}
+
+/**
+ * @interface
+ */
+WebInspector.TextEditorPositionHandle = function()
+{
+}
+
+WebInspector.TextEditorPositionHandle.prototype = {
+    /**
+     * @return {?{lineNumber: number, columnNumber: number}}
+     */
+    resolve: function() { },
+
+    /**
+     * @param {!WebInspector.TextEditorPositionHandle} positionHandle
+     * @return {boolean}
+     */
+    equal: function(positionHandle) { }
 }
 
 /**
@@ -320,5 +347,11 @@ WebInspector.TextEditorDelegate.prototype = {
      * @param {boolean} isExternal
      * @return {!Element}
      */
-    createLink: function(hrefValue, isExternal) { }
+    createLink: function(hrefValue, isExternal) { },
+
+    /**
+     * @param {?WebInspector.TextRange} from
+     * @param {?WebInspector.TextRange} to
+     */
+    onJumpToPosition: function(from, to) { }
 }