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 5111163572b6c5db6870c0774a8b6a281f87af94..123ee03742456e1a86a4d59382eabe8590a1f79e 100644
--- a/Source/devtools/front_end/TextEditor.js
+++ b/Source/devtools/front_end/TextEditor.js
@@ -287,6 +287,26 @@ WebInspector.TextEditor.prototype = {
 /**
  * @interface
  */
+WebInspector.TextEditorPositionHandle = function()
+{
+}
+
+WebInspector.TextEditorPositionHandle.prototype = {
+    /**
+     * @return {?{lineNumber: number, columnNumber: number}}
+     */
+    resolve: function() { },
+
+    /**
+     * @param {WebInspector.TextEditorPositionHandle} positionHandle
+     * @return {boolean}
+     */
+    equal: function(positionHandle) { }
+}
+
+/**
+ * @interface
+ */
 WebInspector.TextEditorDelegate = function()
 {
 }
@@ -327,5 +347,11 @@ WebInspector.TextEditorDelegate.prototype = {
      * @param {boolean} isExternal
      * @return {Element}
      */
-    createLink: function(hrefValue, isExternal) { }
+    createLink: function(hrefValue, isExternal) { },
+
+    /**
+     * @param {WebInspector.TextEditorPositionHandle} from
+     * @param {WebInspector.TextEditorPositionHandle} to
+     */
+    onJumpToPosition: function(from, to) { }
 }