Dans Ubuntu 16, il existait une option de raccourci clavier dans les paramètres du clavier nommée quelque chose comme "touche spéciale", qui me permettait de taper des caractères tels que <> {}.
Par défaut, je dois taper ces caractères en utilisant le bon alt.
Dans Ubuntu 18, cette option de touche de raccourci est disparue des touches de raccourci clavier, alors comment puis-je obtenir cette fonctionnalité maintenant?
Pour le dire plus simplement, au lieu d'avoir à appuyer sur Droite "Alt +>" pour taper>, je veux appuyer sur "Gauche Alt +>" (ou même plus idéalement "Ctrl + Gauche Alt +>" si c'est du tout possible)
merci
gnome-tweaks
)