Para ficar no protocolo: seguindo uma pergunta muito útil do drg, eu entrei em "System setting", depois em "Input devices", e na seção "Keyboard repeat" encontrei três opções: "ligar", " turno de "e" sair inalterado ". Por alguma razão, foi em "turno", e para estar em um lado seguro, eu simplesmente cliquei em "deixar inalterado". Funcionou. Eu ainda não sei como ficou na posição "turno", talvez eu tenha feito isso de alguma forma inadvertidamente eu mesmo; mas pelo menos eu conheço o "nome" do problema para o futuro. (Você tem um usuário idiota aqui ...)