DevTools: "Jump between editing locations" experiment

Source/devtools/devtools.gypi

 #
 # Copyright (C) 2013 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 261 matching lines @@
             'front_end/RequestResponseView.js',
             'front_end/RequestTimingView.js',
             'front_end/RequestView.js',
             'front_end/ResourceWebSocketFrameView.js',
             'front_end/NetworkPanel.js',
         ],
         'devtools_scripts_js_files': [
             'front_end/BreakpointsSidebarPane.js',
             'front_end/CSSSourceFrame.js',
             'front_end/CallStackSidebarPane.js',
+            'front_end/EditingLocationHistoryManager.js',
             'front_end/FilePathScoreFunction.js',
             'front_end/FilteredItemSelectionDialog.js',
             'front_end/JavaScriptSourceFrame.js',
             'front_end/NavigatorOverlayController.js',
             'front_end/NavigatorView.js',
             'front_end/RevisionHistoryView.js',
             'front_end/ScopeChainSidebarPane.js',
+            'front_end/SimpleHistoryManager.js',
             'front_end/SourcesNavigator.js',
             'front_end/SourcesPanel.js',
             'front_end/SourcesSearchScope.js',
             'front_end/StyleSheetOutlineDialog.js',
             'front_end/TabbedEditorContainer.js',
             'front_end/UISourceCodeFrame.js',
             'front_end/WatchExpressionsSidebarPane.js',
             'front_end/WorkersSidebarPane.js',
         ],
         'devtools_timeline_js_files': [
@@ skipping 162 matching lines @@
             'front_end/Layers3DView.js',
             'front_end/LayerDetailsView.js',
             'front_end/PaintProfilerView.js',
         ],
         'devtools_extension_api_files': [
             'front_end/ExtensionAPI.js',
             'front_end/DevToolsExtensionAPI.js'
         ],
     },
 }