>>>>> Stefan Monnier <[email protected]>: > Hmm... the fact that you get the exact same result regardless if the > Fn key is pressed or not suggests that maybe it's just that the Fn key > is malfunctioning.
Indeed. (However, I have never had a key fail for me while it still felt mechanically ok when pressed...?)

