trinity-users@lists.pearsoncomputing.net

Message: previous - next
Month: December 2019

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

From: "Dr. Nikolaus Klepp" <office@...>
Date: Fri, 13 Dec 2019 08:06:55 +0100
Anno domini 03:08:19 Fri, 13 Dec 2019 +0100 (CET)
 Felmon Davis scripsit:
> On Thu, 12 Dec 2019, Gene Heskett wrote:
> 
> > On Thursday 12 December 2019 09:43:14 Dr. Nikolaus Klepp wrote:
> >
> >>>>>> First try to increase the DPI settings. If it works, you are
> >>>>>> done. (~/.trinity/share/config/startupconfig:
> >>>>>> kcmfonts_general_forcefontdpi="96")
> >>>>>
> >>>>> yeah, that's already set.
> >>>>
> >>>> Out of couriosity: what value did you put there and did it change
> >>>> "something"?
> >>>
> >>> it's been 96.
> >>>
> >>> I have tried something else (I believe '120', not sure why I 
> picked
> >>> that) and it improved some things and made other things worse - had
> >>> me jumping from config file to config file. somehow I've achieved
> >>> equilibrium with 96.
> >>>
> >>> and Firefox is a demon! ended up writing userChrome.css rules but
> >>> strangely Firefox-esr (68.3.0esr) seems to honor them but Firefox
> >>> 71.0 seems to ignore them. (I did the magic of trying to force it to
> >>> read the file, etc.)
> >>
> >> Firefox uses GTK3, and that's a pestilence on it's own.
> >
> > I am glad to see that someone else is hammering on gtk3 Nik. gtk2 was
> > 1000% more usefull. gtk3 must be a committee design. lol.
> 
> it's maddening.
> 
> the command "fgrep -iR font ~/.trinity/share/config/*" was very 
> helpful. at one point it helped solve the issue I started with, viz. 
> teensy fonts in "TDE Control Module" windows.
> 
> then, out of the blue, Firefox-bin (v. 71.0) looked ugly - huge fonts 
> in the tabs - and pan newsreader equally grotesque. don't have careful 
> enough notes to infer if I did something to trigger it.
> 
> not the most welcome reason for procratinating but it is too 
> distracting for work (that's my excuse anyway) so I fooled around and 
> upping DPI to 120 has fixed a lot of it though not sure it will stick 
> the next time I boot out and up.
> 
> 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.
> 
> but for a deadline I'm tempted to wipe q4os and just do a Debian (or 
> Devuan) with TDE but that may be misplacing the blame.
> 
> fjd
> 

My notes say this about high DPI mode & Firefox (it sets a kind of pixe-to pixel zoom factor):
about:config --> layout.css.devPixelsPerPx=2

Nik



-- 
Please do not email me anything that you are not comfortable also sharing with the NSA, CIA ...