GtkSourceView >= 3.13.2 is required