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

问题描述 投票:2回答:1

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

我试着加入选项添加

*Menu.font {Bold 22}~/.tkdiff

但没有奏效。

ubuntu
1个回答
0
投票

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

-font {{DejaVu Sans Mono} 0}

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

-font {{DejaVu Sans Mono} 9}
© www.soinside.com 2019 - 2024. All rights reserved.