Message: previous - next
Month: March 2020

Re: [trinity-users] tdm config question

From: Felix Miata <mrmazda@...>
Date: Sat, 21 Mar 2020 14:58:35 -0400
Dr. Nikolaus Klepp composed on 2020-03-21 19:28 (UTC+0100):

> Anno domini 2020 Sat, 21 Mar 14:19:11 -0400 Felix Miata scripsit:

>> I only ever use the default (none) theme. Have you tried it?

>> 	UseTheme=false

>> I make the fonts bigger, 24, 16, 18. Everything is concentrated nicely into a
>> smallish target, yet everything is a nice easy to use largish size.

> This is funny: "UseTheme=false" actually forced TDM to use the theme :
Hmmm. Sometimes I just comment it. I also comment away or make empty


> Anyway, this works now. Any idea how to set DPI value to 96 DPI ?

For DPI on Debian & derivatives I put xrandr --dpi <NUM> in /etc/X11/95-setup.
Evolution as taught in public schools is religion, not science.

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

Felix Miata  ***