Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 222750
Collapse All | Expand All

(-)Eclipse UI/org/eclipse/ui/internal/PerspectiveHelper.java (-7 / +15 lines)
Lines 751-763 Link Here
751
                    	inTrim = perspective.getFastViewManager().getFastViews(folder.getID()).size() > 0;
751
                    	inTrim = perspective.getFastViewManager().getFastViews(folder.getID()).size() > 0;
752
                    	
752
                    	
753
                    if (childVisible == 0 && !inTrim) {
753
                    if (childVisible == 0 && !inTrim) {
754
                        ILayoutContainer parentContainer = folder
754
755
                                .getContainer();
755
                        // PR 1GDFVBY: ViewStack not disposed when page
756
                        for (int i = 0; i < children.length; i++) {
756
                        // closed.
757
                            folder.remove(children[i]);
757
                        if (oldContainer instanceof ViewStack) {
758
                            parentContainer.add(children[i]);
758
							((ViewStack) oldContainer).dispose();
759
                        }
759
						}
760
                        hasChildren = false;
760
761
                        // replace the real container with a
762
                        // ContainerPlaceholder
763
                        ILayoutContainer parentContainer = folder.getContainer();
764
                        ContainerPlaceholder placeholder = new ContainerPlaceholder(
765
                        		folder.getID());
766
                        placeholder.setRealContainer(oldContainer);
767
                        parentContainer.replace(folder, placeholder);
768
761
                    } else if (childVisible == 1) {
769
                    } else if (childVisible == 1) {
762
                        LayoutTree layout = mainLayout.getLayoutTree();
770
                        LayoutTree layout = mainLayout.getLayoutTree();
763
                        layout = layout.find(folder);
771
                        layout = layout.find(folder);

Return to bug 222750