Anyone know how to get latest gnome to believe the DPI
setting and not blow up 12pt fonts to gigantic
proportions?
OK, found a bugzilla with some useful info I can try:
https://bugzilla.gnome.org/show_bug.cgi?id=709859
I also see there is a magic EDID override I can use on
the kernel command line. I may see if I can get that
to work (which would solve the issue permanently no
matter how "helpful" software tries to become :-).