Felmon Davis composed on 2017-08-03 17:34 (UTC-0400): > Felix Miata wrote: >> What version of GTK3 does EXEGNU use? If > 3.16, you might be experiencing: >> https://bugzilla.gnome.org/show_bug.cgi?id=757142 >> and some of its progeny, such as: >> https://bugzilla.mozilla.org/show_bug.cgi?id=1269274 > not sure how to determine this. if I do > apt-cache policy libgtk2.0-0 > I get: "Installed: 2.24.31-2" Only the GTK3 version is relevant to the potential problem of GTK3-built apps not obeying your TDE font settings, which may have nothing to do with the tiny fonts you are actually seeing. >> Setting DPI in your TDE Control Center's fonts menu should produce the following >> on your system: >> # xrdb --query | grep dpi >> Xft.dpi 120 > I get this too. (with '-query'). > I notice the following: > xdpyinfo |grep dimension --> > 3200x1800 pixels (846x476 millimeters) > xdpyinfo |grep dot --> 96x96 dots per inch Since about 11 years ago, Xorg has been forcing millimeters to whatever numbers are required to result in 96x96 DPI, unless manually configured to produce some other values. >> Xft.dpi does not apply to all of Xorg and Xorg applications. To enjoy 120 DPI in >> all of Xorg, 120 must be applied /to/ Xorg. There are various ways to do that. I >> do it globally in one of two ways: >> 1-setting DisplaySize in /etc/X11/xorg.conf* > not sure what DisplaySize should be. The theoretically /accurate/ value is in your laptop's specifications. You can get close enough with a ruler. For a 13.3" 16:9 display it should be about 294.4 X 165.6 for a 267.3 DPI result. http://fm.no-ip.com/PC/displays.html has a lookup table you can check against and make comparisons. 267 is clearly the highest density there listed, and the highest I've ever seen anyone discuss on a mailing list. The practical optimum can only be determined via experimentation. > I don't have such a file; attempting to produce it using > X :0 -configure > as root and with X shut down produces a segfault; it does produce a > skeleton xorg.conf.new file. evidently I'm doing this wrong That's the unfortunate typical result of upstream Xorg for compatibility reasons retaining a virtually useless and broken tool. In modern releases it's useless 99%+ of the time. Most of the time automagic just works and no xorg.conf is needed. The main problem is "most of the time" turns into hardly ever with very HiDPI displays. > perhaps this is enough for further trouble-shooting; what do I do > next? (I prefer to set up an xconfig file.) Save http://fm.no-ip.com/Share/Linux/xorg.conf-minimal-EDID-workaround to use as an /etc/X11/xorg.conf template. Create in it an uncommented DisplaySize line. Using half the values reported above that produce 96x96 /should/ produce 192x192 as a place to start your experiments: DisplaySize 423 213 # 192 DPI @ 3200x1800 If that turns out to be overkill, try half as much increase: DisplaySize 635 320 # 144 DPI @ 3200x1800 -- "The wise are known for their understanding, and pleasant words are persuasive." Proverbs 16:21 (New Living Translation) Team OS/2 ** Reg. Linux User #211409 ** a11y rocks! Felix Miata *** http://fm.no-ip.com/