On Sat, 17 Feb 2018 17:18:59 -0800 Joe Zeff <joe@xxxxxxx> wrote: > Do you happen to remember the program's name? If so, it would be a > great help to anybody who needs it. In thinking about this a little more, I wonder if fred doesn't have the right of it. Using monitors with different resolutions and dot pitches at the same time must play havoc with font selection. Maybe it's taken care of automatically by the desktop. What happens with laptops that use an external monitor that's a different size than their built in screen, especially larger? Do they have this font discord? _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
