Hi again, I just commited my changes. I hope I didn't introduced many bugs. I you find some, please tell me I will see if I can do something about them. Bye, Christian. - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«