/* * (non-Javadoc) * * @see org.eclipse.ui.editors.text.DefaultEncodingSupport#dispose() */ public void dispose() { super.dispose(); if (fSupportDelegate instanceof DefaultEncodingSupport) { ((DefaultEncodingSupport) fSupportDelegate).dispose(); } fSupportDelegate = null; fStatusTextEditor = null; }
void reinitialize(String[] configurationPoints) { if (fSupportDelegate instanceof DefaultEncodingSupport) { ((DefaultEncodingSupport) fSupportDelegate).dispose(); } fSupportDelegate = null; fConfigurationPoints = configurationPoints; IEncodingSupport encodingSupportDelegate = getEncodingSupportDelegate(); if (encodingSupportDelegate instanceof DefaultEncodingSupport) { ((DefaultEncodingSupport) encodingSupportDelegate).initialize(fStatusTextEditor); } }