Added x11-toolkits/gtksourceview3 for modification