Python bindings for gtksourceview