I finally tried a reboot, and it did its magic: no more problem. But the tomboy bug was real, nevertheless.
I finally tried a reboot, and it did its magic: no more problem. But the tomboy bug was real, nevertheless.