DevTools: "Jump between editing locations" experiment

Source/devtools/front_end/SourceFrame.js

 /*
  * Copyright (C) 2011 Google 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.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 79 matching lines @@
     return regex;
 }
 
 WebInspector.SourceFrame.Events = {
     ScrollChanged: "ScrollChanged",
     SelectionChanged: "SelectionChanged"
 }
 
 WebInspector.SourceFrame.prototype = {
     /**
+     * @param {function(WebInspector.TextEditorPositionHandle, WebInspector.TextEditorPositionHandle)} jumpToPositionDelegate
+     */
+    setJumpToPositionDelegate: function(jumpToPositionDelegate)
+    {
+        this._jumpToPositionDelegate = jumpToPositionDelegate;

[vsevik, 2013/09/04 09:46:22]

Please make it an event instead

[lushnikov, 2014/01/02 14:06:09]

Done.

+    },
+
+    /**
      * @param {number} key
      * @param {function()} handler
      */
     addShortcut: function(key, handler)
     {
         this._shortcuts[key] = handler;
     },
 
     wasShown: function()
     {
@@ skipping 578 matching lines @@
     },
 
     populateLineGutterContextMenu: function(contextMenu, lineNumber)
     {
     },
 
     populateTextAreaContextMenu: function(contextMenu, lineNumber)
     {
     },
 
+    /**
+     * @param {WebInspector.TextEditorPositionHandle} from
+     * @param {WebInspector.TextEditorPositionHandle} to
+     */
+    onJumpToPosition: function(from, to)
+    {
+        if (!this._jumpToPositionDelegate)
+            return;
+        this._jumpToPositionDelegate(from, to);
+    },
+
     inheritScrollPositions: function(sourceFrame)
     {
         this._textEditor.inheritScrollPositions(sourceFrame._textEditor);
     },
 
     /**
      * @return {boolean}
      */
     canEditSource: function()
     {
@@ skipping 117 matching lines @@
      * @param {string} hrefValue
      * @param {boolean} isExternal
      * @return {Element}
      */
     createLink: function(hrefValue, isExternal)
     {
         var targetLocation = WebInspector.ParsedURL.completeURL(this._sourceFrame._url, hrefValue);
         return WebInspector.linkifyURLAsNode(targetLocation || hrefValue, hrefValue, undefined, isExternal);
     },
 
+    /**
+     * @param {WebInspector.TextEditorPositionHandle} from
+     * @param {WebInspector.TextEditorPositionHandle} to
+     */
+    onJumpToPosition: function(from, to)
+    {
+        this._sourceFrame.onJumpToPosition(from, to);
+    },
+
     __proto__: WebInspector.TextEditorDelegate.prototype
 }