ProjectionDocument projectionDocument= (ProjectionDocument) slave;
IDocument master= projectionDocument.getMasterDocument();
remove(master, projectionDocument);
projectionDocument.dispose();
if (!hasProjection(master))
master.removeDocumentListener(this);
}
}
/*
* @see org.eclipse.jface.text.ISlaveDocumentManager#getMasterDocument(org.eclipse.jface.text.IDocument)