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

Question

4

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

我尝试在 ~/.tkdiff 中添加选项 *Menu.font {Bold 22}，但没有起作用。

- sujay

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Wanted · Accepted Answer

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

-font {{DejaVu Sans Mono} 0}

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

-font {{DejaVu Sans Mono} 9}