Dans Xfce Terminal, est-il possible de changer la taille de la police en utilisant Ctrl + mouse-wheel
comme vous le feriez dans un navigateur?
Non, ce n'est pas possible. Vous voudrez peut-être déposer une demande de fonctionnalité sur traqueur de bogues de Xfce .