1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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]
|
