Thanks for help although it hasn't helped a lot. I am using Debian Linux and I have installed the libgtksourceview via APT (the greatest package management system). An older version of libgtksourceview isn't available anymore (but I could try to compile an older one - but thats a dirty method)...