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

在ubuntu中设置默认字体大小

tkdiff

的最佳方法是什么

我试着添加选项

~/.tkdiff

---

但不起作用。

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

-font {{DejaVu Sans Mono} 0}

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

-font {{DejaVu Sans Mono} 9}