Title: [200810] trunk/Source/WebInspectorUI
Revision
200810
Author
[email protected]
Date
2016-05-12 21:20:37 -0700 (Thu, 12 May 2016)

Log Message

Web Inspector: Remove "Extra Scripts" folder from Resources sidebar if all children removed
https://bugs.webkit.org/show_bug.cgi?id=157656

Reviewed by Timothy Hatcher.

* UserInterface/Views/ResourceSidebarPanel.js:
(WebInspector.ResourceSidebarPanel.prototype._scriptWasRemoved):
Remove parent folder after last script tree element removed.

Modified Paths

Diff

Modified: trunk/Source/WebInspectorUI/ChangeLog (200809 => 200810)


--- trunk/Source/WebInspectorUI/ChangeLog	2016-05-13 04:19:21 UTC (rev 200809)
+++ trunk/Source/WebInspectorUI/ChangeLog	2016-05-13 04:20:37 UTC (rev 200810)
@@ -1,5 +1,16 @@
 2016-05-12  Matt Baker  <[email protected]>
 
+        Web Inspector: Remove "Extra Scripts" folder from Resources sidebar if all children removed
+        https://bugs.webkit.org/show_bug.cgi?id=157656
+
+        Reviewed by Timothy Hatcher.
+
+        * UserInterface/Views/ResourceSidebarPanel.js:
+        (WebInspector.ResourceSidebarPanel.prototype._scriptWasRemoved):
+        Remove parent folder after last script tree element removed.
+
+2016-05-12  Matt Baker  <[email protected]>
+
         Web Inspector: Can't filter Rendering Frames by duration
         https://bugs.webkit.org/show_bug.cgi?id=157654
 

Modified: trunk/Source/WebInspectorUI/UserInterface/Views/ResourceSidebarPanel.js (200809 => 200810)


--- trunk/Source/WebInspectorUI/UserInterface/Views/ResourceSidebarPanel.js	2016-05-13 04:19:21 UTC (rev 200809)
+++ trunk/Source/WebInspectorUI/UserInterface/Views/ResourceSidebarPanel.js	2016-05-13 04:20:37 UTC (rev 200810)
@@ -320,7 +320,11 @@
         if (!scriptTreeElement)
             return;
 
-        scriptTreeElement.parent.removeChild(scriptTreeElement);
+        let parentTreeElement = scriptTreeElement.parent;
+        parentTreeElement.removeChild(scriptTreeElement);
+
+        if (parentTreeElement instanceof WebInspector.FolderTreeElement && !parentTreeElement.children.length)
+            parentTreeElement.parent.removeChild(parentTreeElement);
     }
 
     _scriptsCleared(event)
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to