GtkSourceView >= 3.13.2 is required

For GtkSourceFile.