Gau*_*ier 3 fonts terminal gnome
我刚刚更新到 Ubuntu 20.04,在正常缩放级别下,如果没有抗锯齿功能,我无法将终端字体设置为我想要的大小。我不喜欢这种模糊性。
这是字体 Terminus 为 10 的情况(实际上很清晰,imgur 似乎让它变得模糊)。太大了:

如果我返回 Terminus 10,但使用 Ctrl+- 缩小,看起来就像我想要的(就像 18.04 中那样)(实际上很清晰):

gnome-terminal从--zoom=0.85产生我想要的结果开始。
如何将缩放级别包含在正在使用的配置文件中,或者至少在启动新终端时包含默认值?
(也欢迎针对我试图解决的实际问题的任何其他解决方案)。
编辑:我gconf-editor很久以前就有了,但它似乎已经过时了。并非所有 gnome 终端配置文件都显示在/apps/gnome-terminal/profiles.
小智 8
嘿伙计,方法不一样,但道路通罗马(我认为)
如果您查看此“常规”区域中的选项卡,您会发现您还可以调整窗口大小(默认打开大小)。这是通过将“新选项卡位置”从“下一个”或“eva”所说的调整为“最后一个”来完成的。如果您进行更改:调整窗口大小并移动窗口,下次打开终端时,它将以相同的位置和大小打开。
| 归档时间: |
|
| 查看次数: |
5752 次 |
| 最近记录: |