public void Update(string path, string contents)
{
string mimeType = Mime.TypeFromNameOrDefault(path, "text/plain");
//Console.WriteLine("Switching to mimetype: " + mimeType);
SourceLanguage lang = LanguageManager.GetLanguageFromMimeType(mimeType);
if (lang != null)
{
//Console.WriteLine("Switching to language: " + lang.Name);
sourceBuffer.Language = lang;
sourceBuffer.Highlight = true;
}
Buffer.Text = contents;
}
