Шрифт по умолчанию Redhat 7 / GNOME 3 - PullRequest
0 голосов
/ 03 августа 2020

Недавно обновил свою систему до Redhat 7. У меня есть несколько графических интерфейсов, созданных разными дизайнерами. Эти графические интерфейсы теперь имеют очень крупный шрифт, что делает их практически непригодными для использования. Это обычная проблема в RedHat 7? Есть ли способ исправить это, кроме простого изменения таблиц стилей для разных gui дизайнеров?

...