}
/**
- * Disposes this view and deregisters itself from the signal manager
+ * Disposes this view and de-registers itself from the signal manager
+ *
* @see org.eclipse.ui.part.WorkbenchPart#dispose()
*/
@Override
TmfSignalManager.dispatchSignal(signal);
}
+ // ------------------------------------------------------------------------
+ // View pinning support
+ // ------------------------------------------------------------------------
+
/**
* Returns whether the pin flag is set.
* For example, this flag can be used to ignore time synchronization signals from other TmfViews.
toolBarManager.add(fPinAction);
}
}
+
}