/*
* @see org.eclipse.ui.texteditor.IDocumentProviderExtension3#isSynchronized(java.lang.Object)
*/
public boolean isSynchronized(Object element) {
if (fParentProvider instanceof IDocumentProviderExtension3) {
IDocumentProviderExtension3 extension= (IDocumentProviderExtension3)fParentProvider;
return extension.isSynchronized(element);
}
return true;
}