Hmm, yesterday (KDE 4.1.2 was already there) it did not work, but today it works. Maybe a reboot was needed.
Hmm, yesterday (KDE 4.1.2 was already there) it did not work, but today it works. Maybe a reboot was needed.