> we'll get it fixed for 3.1.1 (hopefully). Until then use kdevelop-2.1.5. I'll do an interim upload this evening so the problem is fixed in sid; the KDE 3.1.1 upload (for kdesdk at least) will be done when 3.1.1 is officially announced. Ben.