@Andrea, I suppose you are asking me. Yes, same as with the OP, the shortcut keys are set correctly. In fact, this is a pretty virgin installation. Same as him, the problem also went away after a reboot. What I forgot to do was to verify with xev that the key events were indeed triggered.
@Andrea, I suppose you are asking me. Yes, same as with the OP, the shortcut keys are set correctly. In fact, this is a pretty virgin installation. Same as him, the problem also went away after a reboot. What I forgot to do was to verify with xev that the key events were indeed triggered.