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
..
2023-01-01 17:05:57 +01:00
2023-01-01 17:05:57 +01:00
2023-01-01 17:05:57 +01:00
2023-01-01 17:05:57 +01:00
2023-01-01 17:05:57 +01:00
2023-01-01 17:05:57 +01:00