..the problem occured with a recent (8 feb) cvs snapshot of kdevelop 1.4. so it's obviously still an unsolved problem. Marcus - to unsubscribe from this list send an email to kdevelop-request at kdevelop.org with the following body: unsubscribe »your-email-address«