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..84603f58d1a2e18076a5f0741049b491d7c397b8 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
@@ -412,14 +412,17 @@ 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];
-        if (tab.title === tabTitle)
-            return;
-        tab.title = tabTitle;
-        this._updateTabElements();
+        if (tabTooltip !== undefined)
+            tab.tooltip = tabTooltip;
+        if (tab.title !== tabTitle) {
+            tab.title = tabTitle;
+            this._updateTabElements();
+        }
     },
 
     /**