* @see org.eclipse.ui.texteditor.IDocumentProviderExtension5#isNotSynchronizedException(Object, CoreException)
* @since 3.2
*/
public boolean isNotSynchronizedException(Object element, CoreException ex) {
if (fParentProvider instanceof IDocumentProviderExtension5) {
IDocumentProviderExtension5 extension= (IDocumentProviderExtension5)fParentProvider;
return extension.isNotSynchronizedException(element, ex);
}
return false;
}