DevTools: "Jump between editing locations" experiment

Source/devtools/front_end/TabbedEditorContainer.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:
  *
  * 1. Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *
@@ skipping 165 matching lines @@
 
         var tabId = this._tabIds.get(uiSourceCode) || this._appendFileTab(uiSourceCode, userGesture);
         
         this._tabbedPane.selectTab(tabId, userGesture);
         if (userGesture)
             this._editorSelectedByUserAction();
         
         this._currentView = this.visibleView;
         this._addScrollAndSelectionListeners();
 
-        this.dispatchEventToListeners(WebInspector.TabbedEditorContainer.Events.EditorSelected, this._currentFile);
+        var eventData = { currentFile: this._currentFile, userGesture: userGesture };
+        this.dispatchEventToListeners(WebInspector.TabbedEditorContainer.Events.EditorSelected, eventData);
     },
 
     /**
      * @param {!WebInspector.UISourceCode} uiSourceCode
      * @return {string}
      */
     _titleForFile: function(uiSourceCode)
     {
         var maxDisplayNameLength = 30;
         var title = uiSourceCode.displayName(true).trimMiddle(maxDisplayNameLength);
@@ skipping 515 matching lines @@
 WebInspector.EditorContainerTabDelegate.prototype = {
     /**
      * @param {!WebInspector.TabbedPane} tabbedPane
      * @param {!Array.<string>} ids
      */
     closeTabs: function(tabbedPane, ids)
     {
         this._editorContainer._closeTabs(ids);
     }
 }