public void updateCachedText(String file, String text) { if (EditorController.ResourceProvider != null) { //Update the cached string TextCachedResource cachedResource = EditorController.ResourceProvider.ResourceCache[file] as TextCachedResource; if (cachedResource != null) { cachedResource.CachedString = text; } } }
private void changeCachedResource(TextCachedResource newCachedResource) { if (currentCachedResource != null) { currentCachedResource.AllowClose = true; } currentCachedResource = newCachedResource; if (currentCachedResource != null) { currentCachedResource.AllowClose = false; } }
public String loadText(String filename) { //Check the cahce TextCachedResource cachedResource = EditorController.ResourceProvider.ResourceCache[filename] as TextCachedResource; if (cachedResource == null) { //Missed open real file using (StreamReader stringReader = new StreamReader(EditorController.ResourceProvider.openFile(filename))) { cachedResource = new TextTypeControllerCachedResource(filename, TextEncoding, stringReader.ReadToEnd(), this); EditorController.ResourceProvider.ResourceCache.add(cachedResource); } } changeCachedResource(cachedResource); return(cachedResource.CachedString); }