Jim wrote: > If you think it is "of course" that the text is smaller on a higher > DPI screen, you are missing the essential point that a 12pt font > is defined by a number of points, not a number of pixels. No, it is very simple. the same resolution on smaller screen size makes the symbols appear smaller, because it is the same number of pixels that is fitting to a smaller area. ____________________________________________________ tde-users mailing list -- users@xxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxx Web mail archive available at https://mail.trinitydesktop.org/mailman3/hyperkitty/list/users@xxxxxxxxxxxxxxxxxx