Hey all, I just uploaded the latest version of KDevelop 4.7 with many bug fixes included. Would be nice if you could update the distro packages! http://download.kde.org/stable/kdevelop/4.7.1/src/ Thanks! I'll announce this release to the public in a few days. Cheers -- Milian Wolff mail at milianw.de http://milianw.de