在ubuntu中设置tkdiff的默认字体大小的最佳方法是什么
tkdiff
我试着加入选项添加
在*Menu.font {Bold 22}的~/.tkdiff
*Menu.font {Bold 22}
~/.tkdiff
但没有奏效。
转到编辑 - >首选项 - >外观并更改提及字体名称的所有设置。在我的情况下,原始配置是:
-font {{DejaVu Sans Mono} 0}
将零更改为所需的字体大小,例如
-font {{DejaVu Sans Mono} 9}