599600601602603604605606607608609
textCursor = null; hyperlink = null; console = null; ColorRegistry colorRegistry = JFaceResources.getColorRegistry(); colorRegistry.removeListener(propertyChangeListener); super.handleDispose(); } class HyperlinkColorChangeListener implements IPropertyChangeListener {