1 11 12 package org.eclipse.jdt.internal.ui.packageview; 13 14 import org.eclipse.ui.views.framelist.TreeFrame; 15 import org.eclipse.ui.views.framelist.TreeViewerFrameSource; 16 17 class PackagesFrameSource extends TreeViewerFrameSource { 18 private PackageExplorerPart fPackagesExplorer; 19 20 PackagesFrameSource(PackageExplorerPart explorer) { 21 super(explorer.getTreeViewer()); 22 fPackagesExplorer= explorer; 23 } 24 25 protected TreeFrame createFrame(Object input) { 26 TreeFrame frame = super.createFrame(input); 27 frame.setName(fPackagesExplorer.getFrameName(input)); 28 frame.setToolTipText(fPackagesExplorer.getToolTipText(input)); 29 return frame; 30 } 31 32 36 protected void frameChanged(TreeFrame frame) { 37 super.frameChanged(frame); 38 fPackagesExplorer.updateTitle(); 39 } 40 41 } 42 | Popular Tags |