GtkSourceBuffer properties