Bonjour
Merci pour vos réponses !
serged a écritTu cherches "Raccourcis clavier" dans le menu
Comme je l'ai indiqué dans le premier message, j'y avais pensé, sans succès.
erresse a écritil suffirait de désactiver ou de désinstaller "tilda"
Bonne réponse !
Pourquoi des mises à niveau ajoutent elles ce genre fonctionnalités inutiles pour la grande majorité des utilisateurs, en amenant plus de problèmes que d'avantages ?
C'est à cause de choix comme cela qu'on hésite à faire des mises à niveau, voire même à recommander Ubuntu a des non geeks.
Et ça n'est pas normal qu'elle capture une touche de fonction en prenant le pas sur une application qui a le focus.
Je vote pour sa suppression.