3 Aug
2017
3 Aug
'17
11:12 p.m.
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/