Sì, ha funzionato @chapoi. Grazie anche a te @Lilly per il consiglio su come trovarlo. Quando verrà implementato per tutti (o diventerà permanente), ci sarà un modo per personalizzare la dimensione del carattere? Quella utilizzata finora era semplicemente troppo piccola.