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)); }