DevTools: "Jump between editing locations" experiment

Source/devtools/front_end/inspector.js

Index: Source/devtools/front_end/inspector.js
diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js
index 93c556774f4eeafc9c3fc94385c001ed6f199f83..228af8ae55770ec5a69f57a0079ef40f0b0a025e 100644
--- a/Source/devtools/front_end/inspector.js
+++ b/Source/devtools/front_end/inspector.js
@@ -493,6 +493,7 @@ WebInspector._doLoadedDoneWithCapabilities = function()
     this.isolatedFileSystemManager = new WebInspector.IsolatedFileSystemManager();
     this.isolatedFileSystemDispatcher = new WebInspector.IsolatedFileSystemDispatcher(this.isolatedFileSystemManager);
     this.workspace = new WebInspector.Workspace(this.isolatedFileSystemManager.mapping());
+    this.jumpHistoryManager = new WebInspector.JumpHistoryManager();
 
     this.cssModel = new WebInspector.CSSStyleModel(this.workspace);
     this.timelineManager = new WebInspector.TimelineManager();
@@ -804,6 +805,8 @@ WebInspector.documentKeyDown = function(event)
         return;
     if (WebInspector.inspectElementModeController && WebInspector.inspectElementModeController.handleShortcut(event))
         return;
+    if (WebInspector.jumpHistoryManager.handleShortcut(event))
+        return;
 
     switch (event.keyIdentifier) {
         case "U+004F": // O key