Did you see this?
https://askubuntu.com/questions/60044/how-do-i-change-the-font-dpi-settings/66154 On Thu, Jan 2, 2020 at 7:00 PM Keith Lofstrom <[email protected]> wrote: > First, thanks to the many of you who suggested other > terminal programs and desktops to try on top of Gnome3 > to fix my fuzzy xterm (aka (foo)-terminal) problem. > > Sadly ... > > I'm pretty sure the problem is in the gnome3 rendering > engine, is intentionally (mis?)designed for different > platforms, and needs some TLC with a cluehammer. > > I could use help finding the guilty software module and > perhaps with modifying it. I've patched code before. > > More details here, with useful pictures this time: > http://wiki.keithl.com/Gnome3rendering > > I hope to find the source code that does this. give it an > "antialiasing(?) lobotomy", then replace the binary on my > laptops. Fearless or foolhardy, choose your label. > > Keith > > -- > Keith Lofstrom [email protected] > _______________________________________________ > PLUG mailing list > [email protected] > http://lists.pdxlinux.org/mailman/listinfo/plug > _______________________________________________ PLUG mailing list [email protected] http://lists.pdxlinux.org/mailman/listinfo/plug
