gnome Python bindings for gtksourceview (text editing widget)