var description = Pango.FontDescription.from_string("monospace");
description.set_size(9000);
this.el.override_font(description);
- var lm = Gtk.SourceLanguageManager.get_default();
+ var lm = Gtk.SourceLanguageManager.get_default();
((Gtk.SourceBuffer)(this.el.get_buffer())).set_language(
lm.get_language("diff")