trinity-users@lists.pearsoncomputing.net

Message: previous - next
Month: December 2019

Re: [trinity-users] extra small font size in "TDE Control Module"

From: Felix Miata <mrmazda@...>
Date: Thu, 12 Dec 2019 23:04:01 -0500
Felmon Davis composed on 2019-12-13 03:08 (UTC+0100):

> I still can't quite get Firefox to behave; I'm essentially running 
> Firefox-esr. Firefor 71.0 just ignores userChrome.css and I cannot 
> find the magic gtk spell for it.

Try tqtconfig to set qt font size for KControl applets. In Buster it comes from
tqt3-qtconfig.

The real magic is to not use MozillaFirefox. Instead, use firefox-esr. Its
annoying regressive  changes occur less often than once per year instead of every
6-10 weeks. Another option is to use palemoon (newmoon in some distros), which is
a fork of Firefox created back around FF28 or thereabouts.

If your distro doesn't offer esr even via a ppa, you can uninstall its package and
use the version provided by mozilla.org:
http://ftp.mozilla.org/pub/firefox/releases/68.3.0esr/
Using the mozilla.org version allows the possibility to more easily exercise
control over when its updates occur.

If you use a fresh virgin profile, does the problem remain?

What does

	xrdb -query | grep dpi

report? This is the mechanism Gnome/GTK observes for controlling DPI. Kcontrol
uses it, but allows only the options 96 and 120. If you leave it at default (not
controlled), then you can set it to anything you like via Xft.dpi in ~/.Xresources
or ~/.Xdefaults. GTK3 since version 3.17 forces it to 96 instead of leaving it
null unless something forces it to something else, or you are using openSUSE,
which reverted upstream's abusive imposition. I haven't checked. There could be
other distros that have also reverted it.

Instead of literally creating a new profile to test with if you find it too
intimidating, you can back up the profile directory, then empty it before
restarting Firefox. After the test, delete the content again, then restore from
the backup. A read of ~/.mozilla/firefox/profiles.ini will tell you the name of
the directory whose content to delete, the actual profilename. Don't delete the
directory, only its (entire) content. Alternatively, create another directory,
then substitute that directory for the directory name in profiles.ini for making
the test.
-- 
Evolution as taught in public schools is religion, not science.

 Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!

Felix Miata  ***  http://fm.no-ip.com/