I was thinking of implementing the suggestion in http://bugs.kde.org/show_bug.cgi?id=81670 Would there be any opposition to that? Cheers, Nick - to unsubscribe from this list send an email to kdevelop-request at kdevelop.org with the following body: unsubscribe »your-email-address«