在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/。