If you want to relate your screen distances to the size of characters in a
font, then you could use font's `measure` method to compute pixel distances
for *em*-s:
https://github.com/thonny/thonny/blob/3f2607ff0b27ffedac9b24a107ea9fff5f6b1f1f/thonny/ui_utils.py#L2271
Best regards,
Aivar
On Mon, Ju
Hi,
On Mon, 12 Jul 2021 20:31:57 +0100
E Paine wrote:
> > - all widths like borderwidths, decorations, separators etc, set in
> > pixels do not scale with the dpi settings. Could we use "mm" for their
> > settings instead?
>
> Definitely! The defaults in Tk use pixels, but you can use mm for
> l
