如何在ubuntu 16.04中设置tkdiff的默认字体大小

Question

在ubuntu

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

我试图加入选项添加

*Menu.font {Bold 22}

中的

~/.tkdiff

但没有用。

Answer 1

转到“编辑”->“首选项”->“外观”，然后更改提及字体名称的所有设置。在我的情况下，原始配置为：

-font {{DejaVu Sans Mono} 0}

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

-font {{DejaVu Sans Mono} 9}