*
* @param parentProvider the parent document provider
*/
public TextFileDocumentProvider(IDocumentProvider parentProvider) {
IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
manager.setSynchronizationContext(new UISynchronizationContext());
if (parentProvider != null)
setParentDocumentProvider(parentProvider);
fResourceRuleFactory= ResourcesPlugin.getWorkspace().getRuleFactory();
}