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