Как увеличить размер шрифта пользовательского интерфейса редактора Unity Game Engine в Ubuntu 20.04?

Есть ли способ увеличить размер шрифта пользовательского интерфейса редактора Unity Game Engine? Размер шрифта в представлении редактора отличается от размера строки меню и остальных приложений, которые я запускаю на своем компьютере (предположительно, в 1,25 раза, поскольку я использую Gnome Tweaks, чтобы установить масштабирование шрифта на 1,25).

Если бы мне пришлось догадываться, редактор Unity, похоже, использует настройку масштабирования 100% по умолчанию только для своего встроенного контента. Я использую Ubuntu 20.04 на GNOME с разрешением монитора 1080p (1920x1080).

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

ксандр --dpi 128

или же

ксандр --dpi 144

из командной строки, а затем загрузите программу.

Оказывается, я нашел ответ, когда играл с настройками! Редактор Unity использует GTK (или использовал, по крайней мере, с 2018 года), который, похоже, имеет проблемы совместимости с настройкой масштабирования дисплея Gnome Tweaks.

Что исправило это для меня, так это то, что в «Настройки»> «Дисплеи» можно включить «Дробное масштабирование» и установить масштабирование на желаемое разрешение. (А потом в Gnome Tweaks сброс коэффициента масштабирования до 1,00).

Однако этот параметр имеет предупреждающую метку «Может увеличить энергопотребление, снизить скорость или снизить четкость изображения»; так что будьте осторожны и тестируйте вещи для собственного использования.