Увеличьте размер пользовательского интерфейса приложений с крошечными диалогами (Gimp, InSync, Zoom и т. д.)

Увеличьте размер пользовательского интерфейса приложений с крошечными диалогами (Gimp, InSync, Zoom и т. д.)

Я использую Mint 19 Tara с Cinnamon 3.8.9 на Lenovo P51 с графическим дисплеем разрешением 3840×2160.

Большинство приложений, таких как vim, Chrome, Libre Office и все, что было предустановлено, работают правильно. Но некоторые приложения, такие как gimp, Zoom, InSync и VPN-клиент на основе Java, который мне пришлось установить для подключения к сетям одного из моих клиентов, имеют крошечные графические интерфейсы. (Я сомневаюсь, что gimp и Zoom работают на Java, так что вряд ли это проблема, связанная с Java.) Шрифты и значки едва ли достаточно велики для чтения, и на них трудно нажимать из-за их размера. Сами диалоговые окна также очень маленькие.

Я улучшил GIMP, установив новый набор иконок, но иконки и текст все еще немного мелкие, и это не помогает в других приложениях.

Я не думаю, что эта проблема как-то связана с Cinnamon, поскольку изменение коэффициента масштабирования текста в разделе «Параметры системы» → «Шрифты» влияет только на приложения, в которых уже установлен подходящий размер шрифта.

Интересно, есть ли какой-то другой пользовательский интерфейс/менеджер окон, который используют проблемные приложения, например Qt, и есть ли какая-то другая системная настройка, которую я могу настроить, чтобы исправить это. Есть идеи?

решение1

По крайней мере, я нашел решение для приложений Qt, и оказалось, что и Zoom, и Insync созданы с использованием набора виджетов Qt.

Установка QT_SCALE_FACTORпеременной среды 2сделала так, что оба эти приложения показались мне хорошими. СогласноДокументация Qt, настройка QT_AUTO_SCREEN_SCALE_FACTOR=1(другой переменной окружения) заставит Qt учитывать системное DPI, но это сделало диалоги слишком большими на мой вкус.

У меня все еще есть проблемы с другими приложениями, которые я упомянул, и я думаю, что у них могут быть жестко закодированы размеры в виде количества пикселей. Я добавлю еще один ответ, если найду решение для них.

Связанный контент