2

我想增加 Grace 编辑器窗口中的字体大小（例如“文件”、“编辑”、“数据”、下拉菜单、按钮等）。我在 Ubuntu 14.04 上运行 Grace 5.1.23。我已经在 2 台机器和 4 台具有不同分辨率的显示器上运行了该程序——所有这些上的字体一直都很小。我已与另一位用户验证字体在我的机器上正确呈现（即默认情况下字体很小）。

需要明确的是：我不想更改默认图形设置。我想更改 Grace 编辑器本身的字体大小。

我努力了：

  1. 编辑 Default.agr 文件。这似乎只影响默认图形设置，而不影响编辑器本身。
  2. 查看 Grace 下拉菜单中的所有选项。
  3. 在 Grace 教程/常见问题解答等中寻求帮助。
  4. 眯眼；伸长脖子。

字体小得离谱。如果我的主管不坚持让我使用它，我会完全放弃这个程序。

4

2 回答 2

3

我有同样的问题。xmgrace 不使用统一字体机制，但它使用“老式”X11 资源。您可以通过创建一行来设置 xmgrace 菜单和对话框字体大小

XMgrace*fontList: -adobe-helvetica-*-r-*-*-20-*-100-100-p-100-*-*

在.Xresources您的主目录的文件中。然后打电话

xrdb .Xresources

应用设置。

如果您不喜欢我选择的 helvetica 字体（或者如果您的系统没有），您可以使用“ xfontsel”实用程序选择您喜欢的字体。惊叹于 unix 已经走了多远。

于 2018-07-20T19:46:49.080 回答
2

似乎没有内置选项grace/xmgrace可以更改工具栏菜单字体。

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

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

于 2016-08-08T08:23:29.230 回答