请教如何增大Frama-C GUI的字体与文本显示大小？

以下几种方式可以快速调整Frama-C-GUI的字体大小，适配教程、演示等场景：

1. 临时启动时指定字体 #

直接在启动命令中通过GTK环境变量设置字体及大小，适合单次演示使用：

GTK_FONT="Monospace 18" frama-c-gui

将Monospace 18替换为你需要的字体名称和大小，等宽字体（如Monospace）更适合代码区域的显示。

2. 全局永久生效配置 #

如果希望每次启动Frama-C-GUI都使用大字体，可修改GTK配置文件：

1. 打开或创建~/.config/gtk-3.0/settings.ini（Linux/macOS），Windows用户则在%APPDATA%\gtk-3.0\settings.ini
2. 添加或修改以下内容：

[Settings]
gtk-font-name=Monospace 18

保存后重启Frama-C-GUI即可生效。

3. 全局界面缩放（含字体） #

如果需要整体放大界面（包括控件和字体），可使用GTK的缩放因子参数，适合高分辨率屏幕或大屏演示：

GDK_SCALE=2 frama-c-gui

2代表缩放2倍，可根据实际需求调整为1.5、3等数值。

内容的提问来源于stack exchange，提问作者anol