/** * Also updates the title of the packages explorer * @param frame the frame that changed */ protected void frameChanged(TreeFrame frame) { super.frameChanged(frame); fPackagesExplorer.updateTitle(); }
@Override public void propertyChange(PropertyChangeEvent event) { fPart.updateTitle(); fPart.updateToolbar(); } });
@Override public void propertyChange(PropertyChangeEvent event) { fPart.updateTitle(); fPart.updateToolbar(); } });
workingSetLabel= BasicElementLabels.getWorkingSetLabel(workingSet); fPart.setWorkingSetLabel(workingSetLabel); fPart.updateTitle();
workingSetLabel= BasicElementLabels.getWorkingSetLabel(workingSet); fPart.setWorkingSetLabel(workingSetLabel); fPart.updateTitle();
workingSetLabel= workingSet.getLabel(); fPart.setWorkingSetLabel(workingSetLabel); fPart.updateTitle();