gpt4 book ai didi

ubuntu - 如何设置 tkdiff 工具的默认字体大小

转载 作者:行者123 更新时间:2023-12-04 14:24:51 31 4
gpt4 key购买 nike

设置 tkdiff 的默认字体大小的最佳方法是什么? .
我试图输入选项添加*Menu.font {Bold 22}~/.tkdiff 但没有用。

最佳答案

转到编辑 -> 首选项 -> 外观并更改提及字体名称的所有设置。在我的情况下,原始配置是:

-font {{DejaVu Sans Mono} 0}

将零更改为所需的字体大小,例如
-font {{DejaVu Sans Mono} 9}

关于ubuntu - 如何设置 tkdiff 工具的默认字体大小,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47920572/

31 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com