unusedlist: python-gtksourceview-fix