我一直在Arch Linux上使用编辑器Geany已经有一段时间了，但是因为last update笔记本标签的字体（位于编辑器小部件上方，see a screenshot of Geany for reference here）是不必要的大（可能与我的HiDPI显示有关）。
不幸的是，GUI首选项菜单没有提供任何方法来更改选项卡的字体大小。它只允许更改编辑器的字体大小，符号列表（在左侧）和消息小部件（在底部）。
快速查看geany source code和associated glade configuration file后，我觉得Geany没有为这些标签标签明确设置字体大小，而是使用默认的GTK3 / Glade标签大小
有一种简单的方法，最好不需要重新编译，来改变GTK3 / Glade应用程序中标签的默认字体大小，例如：通过更改一些配置文件？
