Je suis un accro des fonts AA, mais si il y a bien un endroit ou je veux des polices non AA c'est bien un terminal.
L'intéret de mlterm c'est surtout de pouvoir taper du Japonais / Chinois / coréen dedans, ca m'étonnerait qu'il supporte l'aa si il est en gtk 1.2.
Par contre Gnome terminal ou Konsole supportent l'AA.