DevTools: "Jump between editing locations" experiment

Source/devtools/front_end/Panel.js

 /*
  * Copyright (C) 2007, 2008 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:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
  * 2.  Redistributions in binary form must reproduce the above copyright
@@ skipping 61 matching lines @@
                 this._statusBarItemContainer.appendChild(statusBarItems[i]);
             panelStatusBar.insertBefore(this._statusBarItemContainer, drawerViewAnchor);
         }
         var statusBarText = this.statusBarText();
         if (statusBarText) {
             this._statusBarTextElement = statusBarText;
             panelStatusBar.appendChild(statusBarText);
         }
 
         this.focus();
+        var defaultJumpHistoryEntry = this.createPanelJumpHistoryEntry();
+        if (defaultJumpHistoryEntry)
+            WebInspector.jumpHistoryManager.jumpToPosition(null, defaultJumpHistoryEntry);
+    },
+
+    /**
+     * @return {?WebInspector.JumpHistoryEntry}
+     */
+    createPanelJumpHistoryEntry: function()
+    {
+         return new WebInspector.PanelJumpHistoryEntry(this);
     },
 
     willHide: function()
     {
         if (this._statusBarItemContainer)
             this._statusBarItemContainer.remove();
         delete this._statusBarItemContainer;
 
         if (this._statusBarTextElement)
             this._statusBarTextElement.remove();
@@ skipping 245 matching lines @@
         if (this._panel)
             return this._panel;
         if (this._scriptName)
             loadScript(this._scriptName);
         this._panel = new WebInspector[this._className];
         return this._panel;
     },
 
     registerShortcuts: function() {}
 }
+
+/**
+ * @constructor
+ * @implements {WebInspector.JumpHistoryEntry}
+ * @param {WebInspector.Panel} panel
+ */
+WebInspector.PanelJumpHistoryEntry = function(panel)
+{
+    this._panel = panel;
+}
+
+WebInspector.PanelJumpHistoryEntry.prototype = {
+    /**
+     * @return {boolean}
+     */
+    valid: function()
+    {
+        return true;
+    },
+
+    /**
+     * @param {WebInspector.JumpHistoryEntry} entry
+     */
+    merge: function(entry)
+    {
+    },
+
+    /**
+     * @return {boolean}
+     */
+    reveal: function()
+    {
+        if (this._panel.isShowing())
+            return false;
+        WebInspector.inspectorView.setCurrentPanel(this._panel);
+        return true;
+    },
+
+    /**
+     * @param {WebInspector.JumpHistoryEntry} entry
+     */
+    equal: function(entry)
+    {
+        if (!(entry instanceof WebInspector.PanelJumpHistoryEntry))
+            return false;
+        return this._panel === entry._panel;
+    }
+}