Christian (2020-Feb-01, excerpt): > custom DPI is scaling all GUI elements, while CSS font-size mainly > affects the font size.
Ah, I see... thanks! ____________________________________________________________________________ darktable user mailing list to unsubscribe send a mail to [email protected]
