Увеличить размер шрифта в окне редактора grace/xmgrace

Question

Я хотел бы увеличить размер шрифта в окне редактора Grace (например, «Файл», «Редактировать», «Данные», выпадающие меню, кнопки и т. Д.). Я запускаю Grace 5.1.23 на Ubuntu 14.04. Я запустил программу на двух машинах и 4 мониторах с различными разрешениями - шрифт по умолчанию невелик. Я проверил с другим пользователем, что шрифт правильно отображается на моих машинах (т. Е. Шрифт по умолчанию крошечный).

Должно быть ясным: я не хочу изменять значение по умолчанию Рисунок Настройки. Я хочу изменить размер шрифта самого редактора Grace.

Я попытался:

1. Редактирование файла Default.agr. Похоже, что это влияет только на настройки по умолчанию, а не на сам редактор.
2. Просмотрите все варианты в раскрывающемся меню Grace.
3. Ищет помощь в Grace Tutorial/FAQ и т.д.
4. Squinting; вытянув шею.

Шрифт безумно маленький. Я бы полностью отказался от этой программы, если бы мой руководитель не настаивал на том, чтобы я ее использовал.

Answer 1

Похоже, что нет встроенного параметра в пределах grace/xmgrace, чтобы изменить шрифты меню панели инструментов.

Поскольку меню панели изящества не отображается как стандартное меню панели Unity (в верхнем краю экрана), общесистемные настройки, доступные с помощью unity-tweak-tools, не влияют на размер шрифта панели инструментов.

Вы можете попробовать изменить исходный код grace/xmgrace и скомпилировать собственную версию с более крупными шрифтами панели инструментов. Исходный код для изящества доступен по адресу ftp://plasma-gate.weizmann.ac.il/pub/grace/src/.