DevTools: "Jump between editing locations" experiment

Source/devtools/front_end/TextEditor.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  * Copyright (C) 2010 Apple Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
@@ skipping 269 matching lines @@
 
     /**
      * @param {WebInspector.CompletionDictionary} dictionary
      */
     setCompletionDictionary: function(dictionary) { },
 }
 
 /**
  * @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()
 {
 }
 
 WebInspector.TextEditorDelegate.prototype = {
     /**
      * @param {WebInspector.TextRange} oldRange
      * @param {WebInspector.TextRange} newRange
      */
     onTextChanged: function(oldRange, newRange) { },
@@ skipping 20 matching lines @@
      * @param {WebInspector.ContextMenu} contextMenu
      * @param {number} lineNumber
      */
     populateTextAreaContextMenu: function(contextMenu, lineNumber) { },
 
     /**
      * @param {string} hrefValue
      * @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) { }
 }