More questions about GTK2.SourceView