На этот вопрос уже есть ответ здесь:
Я использую Ubuntu 18.10 с Gnome Desktop на дисплее ноутбука UHD. Шрифты моей системы обычно настраивались с использованием масштабирования шрифтов в Gnome Tweak Tools, но это не повлияло на OpenSCAD, у которого нечитабельно маленький шрифт интерфейса.
Как изменить размер шрифта без эффективного снижения разрешения экрана (например, без использования «Настройки»> «Устройства»> «Дисплей»> «Масштаб> 200%»).
Я нашел ответ в run-scaled
сценарий упоминается здесь: Решение для приложений, которые не масштабируются на дисплеях HiDPI.