*
* @param workbench the workbench instance
*/
WorkbenchIntroManager(Workbench workbench) {
this.workbench = workbench;
workbench.getExtensionTracker().registerHandler(new IExtensionChangeHandler(){
/* (non-Javadoc)
* @see org.eclipse.core.runtime.dynamicHelpers.IExtensionChangeHandler#addExtension(org.eclipse.core.runtime.dynamicHelpers.IExtensionTracker, org.eclipse.core.runtime.IExtension)
*/
public void addExtension(IExtensionTracker tracker,IExtension extension) {