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