Linux 如何在gitk中配置字体大小?
使用Linux,如何在gitk中配置字体和字体大小Linux 如何在gitk中配置字体大小?,linux,git,gitk,Linux,Git,Gitk,使用Linux,如何在gitk中配置字体和字体大小 查看菜单可能会非常令人沮丧,因为它们提供的配置可能性非常小。您可以在~/.gitk 例如: set mainfont {Monaco 10} set textfont {Monaco 10} set uifont {Monaco 10} 您也可以通过工具本身执行此操作: 打开菜单Edit/Preferences 单击字体 单击例如Main font以设置主字体的属性 文件~/.gitk是配置文件的三个可能位置之一。我的在~/.config/
查看菜单可能会非常令人沮丧,因为它们提供的配置可能性非常小。您可以在
~/.gitk
例如:
set mainfont {Monaco 10}
set textfont {Monaco 10}
set uifont {Monaco 10}
您也可以通过工具本身执行此操作:
- 打开菜单
Edit/Preferences
- 单击字体
- 单击例如
以设置主字体的属性Main font
~/.gitk
是配置文件的三个可能位置之一。我的在~/.config/git/gitk
中。对于其他位置,请参见“是”,该~/.gitk
位于列表的下一个位置,因此首先检查~/.config/git/gitk
是否存在。通过运行strace-gitk
可以看到它打开了什么。