У меня установлена программа sqldeveloper 18.2 на компьютере hidpi (xps 9370 с дисплеем 4k), и он непригоден из-за проблем с масштабированием.
Я пытался запустить его, используя различные параметры:
- Как есть - значки интерфейса и шрифты слишком малы
- По мере увеличения шрифта интерфейса - перекрытие текста делает его непригодным для использования
- Использование gdk_scale с Java9
- Использование -Dsun.java2d.uiScale= 2 с Java8
Кажется, точки 3 и 4 масштабируются, но с глюками, делающими его снова непригодным для использования.
Пример сбоев
IЯ хотел бы придерживаться разрешения 4К, поскольку оно действительно имеет разницу с fullhd
Буду признателен, если вы вообще сможете указать мне, где копать или решить проблему
Спасибо!