Hi ... All my changes have been applied, and I have made a new dev. release. The site is updated too ! The primary news is gtksourceview, debian building and fixes. Enjoy /BL