From: Sergei Golovan
Subject: Use points instead of pixels for font sizes.
 This helps with too small fonts on high DPI displays.
Date: Sat, 10 May 2025 13:50:03 +0300
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1105040

--- a/tkcon.tcl
+++ b/tkcon.tcl
@@ -641,10 +641,10 @@ proc ::tkcon::InitUI {title} {
     }
     set PRIV(base) $w
 
-    catch {font create tkconfixed      -family Courier -size -12}
-    catch {font create tkconfixedbold  -family Courier -size -12 -weight bold}
-    catch {font create tkconfixedlarge -family Courier -size -18 -weight bold}
-    catch {font create tkconfixedsmall -family Courier -size -8  -weight bold}
+    catch {font create tkconfixed      -family Courier -size 10}
+    catch {font create tkconfixedbold  -family Courier -size 10 -weight bold}
+    catch {font create tkconfixedlarge -family Courier -size 14 -weight bold}
+    catch {font create tkconfixedsmall -family Courier -size 7  -weight bold}
 
     set PRIV(statusbar) [set sbar [frame $w.fstatus]]
     set PRIV(tabframe)  [frame $sbar.tabs]