Hi,
custom DPI is scaling all GUI elements, while CSS font-size mainly
affects the font size.

What's better? Don't know. Matter of taste... :-)

Chris

Am 01.02.2020 um 17:53 schrieb dt-l...@stefan-klinger.de:
- Set Custom DPI in darktablerc, eg. screen_dpi_overwrite=120.0
would that be the correct approach in case the font size was the only
thing I wanted to change?  I have no idea, but to me configuration of
the screen's DPI sounds quite broad.  I wonder what else would be
affected?


____________________________________________________________________________
darktable user mailing list
to unsubscribe send a mail to darktable-user+unsubscr...@lists.darktable.org

Reply via email to