今天想把 Xshell 和 Microsoft Terminal 的字体调整一下,但是发现好像设置 10 号字体和 11 号字体是一样的大小,要么 9 号有点小,11 号有点大,真是让人犯强迫症。
Windows10、4K 显示器、200%的缩放。
顺便问一下,windows 的 size 体系有几套,IDEA 编辑器的 font size 大小明显和其他程序不太一样。
1
evilhero 2019-12-08 22:54:31 +08:00 via Android
我看着都一样大…别纠结这种东西
|
2
binbinyouliiii OP @evilhero #1 图片上不方便看,到实际用的时候就很明显了
|
3
evilhero 2019-12-08 23:05:45 +08:00 via Android
@binbinyouliiii 你这 4k 屏大点小点无所谓吧
|
4
PhaSelEza 2019-12-08 23:07:54 +08:00
Sublime Text 使用“等距更纱黑体 T SC Light”,没能复现这个问题。
|
5
binbinyouliiii OP @evilhero #3 4K 屏开缩放了啊,怎么会大点小点无所谓了呢
|
6
binbinyouliiii OP @PhaSelEza #4 我两台电脑都是 200 缩放下出现的问题,难道是缩放的原因?
|
7
victor97 2019-12-09 08:22:25 +08:00 via Android
改成小数呢
|
8
forcecharlie 2019-12-09 08:41:24 +08:00
font size 在 GDI 和 DirectWrite 中存在一些区别,GDI 是像素,而 DirectWrite 是 DIP。
参考: https://docs.microsoft.com/zh-cn/windows/win32/learnwin32/dpi-and-device-independent-pixels |
9
forcecharlie 2019-12-09 08:59:49 +08:00
在 Windows Termainl 设置 Font 字体最终是在这段代码: https://github.com/microsoft/terminal/blob/fcd210ce0006e5fd2dccc79a585a2ac1f39b3125/src/renderer/dx/DxRenderer.cpp#L1651
|
10
20015jjw 2019-12-09 09:47:55 +08:00 via Android
要不还是换 mac 吧...
|
11
realpg 2019-12-09 11:30:43 +08:00
有没有 font size 难道不是开个 word 试试……所见即所得
|
12
binbinyouliiii OP @realpg #11 word 有 10 号字体,但是大小明显和 xshell 和 terminal 不一样,所以我很疑惑 Windows 到底有几个字号体系
|
13
qzhai 2019-12-09 14:40:03 +08:00
vsCode 使用 https://electronjs.org/ 框架开发的 ,基于 html+css。我猜内核是 chrome,所以 pc 上 font-size 最后小 12px。
|