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

Question

设置默认字体大小的最佳方法是什么tkdiff？

我尝试添加选项

*Menu.font {Bold 22}在里面~/.tkdiff

但没有用。

Answer 1

转到编辑 -> 首选项 -> 外观并更改提及字体名称的所有设置。就我而言，原始配置是：

-font {{DejaVu Sans Mono} 0}

将零更改为所需的字体大小，例如

-font {{DejaVu Sans Mono} 9}