在grace/xmgrace编辑器窗口中增加字体大小

Question

我想在Grace编辑器窗口（例如'文件'，'编辑'，'数据'，下拉菜单，按钮等等）中增加字体大小。我在Ubuntu 14.04上运行Grace 5.1.23。我已经在2台机器和4台显示器上运行了各种分辨率的程序 - 字体在所有这些字体上一直很小。我已经与另一位用户验证了字体在我的机器上正确渲染（即默认字体很小）。

要清楚：我不想更改默认图设置。我想改变Grace编辑器本身的字体大小。

我曾尝试：

1. 编辑Default.agr文件。这似乎只影响默认图形设置，而不是编辑器本身。
2. 查看Grace下拉菜单中的所有选项。
3. 在Grace教程/ FAQ等中寻求帮助
4. Squinting;伸出我的脖子。

字体非常小。如果我的主管不坚持我使用它，我会完全放弃这个计划。

Answer 1

看起来grace/xmgrace内没有内置选项来更改工具栏菜单字体。

由于宽限工具栏菜单不会显示为标准Unity面板菜单（位于屏幕的顶部边缘），因此使用unity-tweak-tools可访问的系统范围设置不会影响工具栏字体大小。

您可以尝试修改grace/xmgrace源代码并使用较大的工具栏字体编译自己的版本。恩典的源代码位于ftp://plasma-gate.weizmann.ac.il/pub/grace/src/。