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