applets/tasmanager: consider `devicePixelRatio` in font height
The font height does not consider devicePixelRatio unlike other size properties. This makes stripe work correctly when HiDPI is enabled.
parent
40076890
The font height does not consider devicePixelRatio unlike other size properties. This makes stripe work correctly when HiDPI is enabled.
mentioned in commit 56dbb54b
·mentioned in commit 56dbb54b