Hi, I'm currently compiling a wishlist of plugins or features we want or we think that will be cool to have in gideon. so mail me your suggestion. MAthieu - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«