更改 Texmaker 按钮的字体大小

Question

几年前我更改了 Texmaker 界面的字体大小；今天我安装了新版本，但我忘了如何缩小界面（不是编辑器）的字体大小。我在配置文件 texmaker.ini 中搜索了一个设置来执行此操作，但没有成功。

你能告诉我怎么做吗？

---

编辑：我正在使用 Windows 10（64 位）。