I'm currently in the process of updating the todo list. If you can send me suggestion. Thanks Mathieu - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«