10 Jun
2023
10 Jun
'23
7:31 p.m.
On Fri Jun 9 20:21:21 2023 +0000, Esme Povirk wrote:
Should the 1 here be DPI-scaled?
Ah, yeah, it should. Forgot to look through previous commits when scaling the gap earlier ,_,