DevTools: split Sources tree into Network and Filesystem trees.

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

Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
index ab911b254a5caf922fc54c0b8d9e0ab926bbd189..13c68afeb3d07d5a23944f0ebe9ef6c12d2e33e7 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
@@ -412,13 +412,16 @@ WebInspector.TabbedPane.prototype = {
     /**
      * @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();
     },