/** * @see org.eclipse.jface.viewers.ILabelProviderListener#labelProviderChanged(org.eclipse.jface.viewers.LabelProviderChangedEvent) */ @Override public void labelProviderChanged(LabelProviderChangedEvent event) { refreshTitleBar(); }
selectionQueueLocked = false; refreshTitleBar();