joshua ae5e188866 Add converter for dpi to pixel font size ...

Add a little function used to convert if needed the size of a font set
in dpi to pixel. Because the conversion from pdi to pixel can't
be exactly identical, the text size in the diagram can be a little
different, in the other side the switch between screens with different
dpi is no more a problem.

2025-03-12 19:14:45 +01:00

1.7 KiB

Raw Blame History

View Raw