DevTools: "Jump between editing locations" experiment

Source/devtools/scripts/compile_frontend.py

 #!/usr/bin/env python
 # Copyright (c) 2012 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 73 matching lines @@
             "FileManager.js",
             "FileSystemMapping.js",
             "FileSystemModel.js",
             "FileSystemProjectDelegate.js",
             "FileUtils.js",
             "HAREntry.js",
             "IndexedDBModel.js",
             "InspectorBackend.js",
             "IsolatedFileSystemManager.js",
             "IsolatedFileSystem.js",
+            "JumpHistoryManager.js",
             "Linkifier.js",
             "NetworkLog.js",
             "NetworkUISourceCodeProvider.js",
             "OverridesSupport.js",
             "PresentationConsoleMessageHelper.js",
             "RuntimeModel.js",
             "SASSSourceMapping.js",
             "Script.js",
             "ScriptFormatter.js",
             "ScriptSnippetModel.js",
@@ skipping 413 matching lines @@
     os.system(command)
     os.system("rm " + injectedScriptSourceTmpFile)
     os.system("rm " + injectedScriptCanvasModuleSourceTmpFile)
 
     print "Checking generated code in InjectedScriptCanvasModuleSource.js..."
     check_injected_webgl_calls_command = "%s/check_injected_webgl_calls_info.py %s %s/InjectedScriptCanvasModuleSource.js" % (scripts_path, webgl_rendering_context_idl_path, inspector_path)
     os.system(check_injected_webgl_calls_command)
 
 shutil.rmtree(modules_dir)
 os.system("rm " + protocol_externs_path)