GtkSourceFile API with stubs