DevTools: kill WI.SourcesView._showFile method

third_party/WebKit/Source/devtools/front_end/sources/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 194 matching lines @@
 
         this._removeViewListeners();
         this._currentFile = uiSourceCode;
 
         var tabId = this._tabIds.get(uiSourceCode) || this._appendFileTab(uiSourceCode, userGesture);
 
         this._tabbedPane.selectTab(tabId, userGesture);
         if (userGesture)
             this._editorSelectedByUserAction();
 
+        var previousView = this._currentView;
         this._currentView = this.visibleView;
         this._addViewListeners();
 
-        var eventData = { currentFile: this._currentFile, userGesture: userGesture };
+        var eventData = {
+            currentFile: this._currentFile,
+            currentView: this._currentView,
+            previousView: previousView,
+            userGesture: userGesture
+        };
         this.dispatchEventToListeners(WebInspector.TabbedEditorContainer.Events.EditorSelected, eventData);
     },
 
     /**
      * @param {!WebInspector.UISourceCode} uiSourceCode
      * @return {string}
      */
     _titleForFile: function(uiSourceCode)
     {
         var maxDisplayNameLength = 30;
@@ skipping 511 matching lines @@
     /**
      * @override
      * @param {string} tabId
      * @param {!WebInspector.ContextMenu} contextMenu
      */
     onContextMenu: function(tabId, contextMenu)
     {
         this._editorContainer._onContextMenu(tabId, contextMenu);
     }
 }