public void indicateNoActiveTask() {
if (activeTaskLabel != null && activeTaskLabel.isDisposed()) {
return;
}
activeTaskLabel.setText(Messages.TaskTrimWidget__no_active_task_);
activeTaskLabel.setUnderlined(false);
activeTaskLabel.setToolTipText(""); // $NON-NLS-1$
activeTaskSelectionProvider.setSelection(StructuredSelection.EMPTY);
}
public void indicateActiveTask() {
if (activeTaskLabel != null && activeTaskLabel.isDisposed()) {
return;
}
// activeTaskLabel.setText(shortenText(activeTask.getSummary()));
activeTaskLabel.setText(activeTask.getSummary());
activeTaskLabel.setUnderlined(true);
activeTaskLabel.setToolTipText(activeTask.getSummary());
activeTaskSelectionProvider.setSelection(new StructuredSelection(activeTask));
}