Actuellement, j'utilise l'applet de palette de caractères dans le panneau gnome pour mettre des caractères spéciaux dans le texte.
C'est bien, mais je dois arrêter de taper, sélectionner le caractère que je veux dans l'applet, puis copier et coller.
Existe-t-il un moyen de taper simplement des caractères spéciaux avec différentes combinaisons de touches ? Si oui, comment faire ?