Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/unix/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Linux 如何在gitk中配置字体大小?_Linux_Git_Gitk - Fatal编程技术网

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/

使用Linux,如何在gitk中配置字体和字体大小


查看菜单可能会非常令人沮丧,因为它们提供的配置可能性非常小。

您可以在
~/.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
可以看到它打开了什么。