public EditorResourceProvider(ResourceProvider backingProvider)
{
ResourceCache = new ResourceCache();
this.backingProvider = backingProvider;
}
public bool isInDirectory(String directory)
{
return(ResourceCache.fixPath(File).StartsWith(ResourceCache.fixPath(directory)));
}
public void copyDirectory(string from, string to)
{
backingProvider.copyDirectory(from, to);
copyCachedResourcesToBackingProvider(ResourceCache.getResourcesInDirectory(from), from, to);
}
public bool isSameFile(string filePath)
{
return(ResourceCache.fixPath(filePath) == ResourceCache.fixPath(File));
}
