Get Rid of Pixel-Sized Elements

Authored by gottfried on Feb 28 2020, 9:06 PM.

Description

Get Rid of Pixel-Sized Elements

Instead, express all sizes in relation to the default font size. This
makes various UI features like icons, gaps and spaces consistently sized
wrt. to the text elements, regardless of the chosen font size- This is
especially useful for High-DPI-ish displays where increasing the font
size works better than fractional display scaling or for people who want
to increase the font sizes anyway.

Details

Committed
gottfriedFeb 28 2020, 9:06 PM
Parents
R336:53e8e7fa336a: Merge Branch 'release/19.12'
Branches
Unknown
Tags
Unknown