DevTools: split Sources tree into Network and Filesystem trees.

third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js

 /*
  * Copyright (C) 2010 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 394 matching lines @@
     {
         for (var i = 0; i < this._tabs.length; ++i)
             delete this._tabs[i]._measuredWidth;
         if (this.isShowing())
             this._updateTabElements();
     },
 
     /**
      * @param {string} id
      * @param {string} tabTitle
+     * @param {string=} tabTooltip
      */
-    changeTabTitle: function(id, tabTitle)
+    changeTabTitle: function(id, tabTitle, tabTooltip)
     {
         var tab = this._tabsById[id];

[lushnikov, 2016/10/01 03:05:34]

TabbedPaneTab has the tooltip setter:

var tab = this._tabsById[id];
if (tabTooltip !== undefined)
    tab.tooltip = tabTooltip;

-        if (tab.title === tabTitle)
+        if (tab.title === tabTitle && (tabTooltip === undefined || tab.tooltip === tabTooltip))
             return;
         tab.title = tabTitle;
+        if (tabTooltip !== undefined)
+            tab.tooltip = tabTooltip;
         this._updateTabElements();
     },
 
     /**
      * @param {string} id
      * @param {!WebInspector.Widget} view
      */
     changeTabView: function(id, view)
     {
         var tab = this._tabsById[id];
@@ skipping 828 matching lines @@
      * @param {!Array.<string>} ids
      */
     closeTabs: function(tabbedPane, ids) { },
 
     /**
      * @param {string} tabId
      * @param {!WebInspector.ContextMenu} contextMenu
      */
     onContextMenu: function(tabId, contextMenu) { }
 }