Я недавно начал использовать команду xrandr --dpi 166
для моего нового ноутбука под управлением Ubuntu 16.04.3, 64-разрядная после замечающий, что иначе система автоматически использует 96 точек на дюйм.
Однако такая высокая установка точек на дюйм приводит к чрезвычайно большим меню и панелям инструментов только на спокойных приложениях, которые я имею, такие как Ведущее устройство Редактор PDF, digiKam и Krita (последние два находятся в формате AppImage). Другие приложения, работающие в Java или ВИННОЙ среде, не создают такие проблемы.
Я надеюсь найти способ ручного ввода определенной установки точек на дюйм для спокойных приложений или некоторого другого способа разрешить эту проблему.
Если нет никакого способа глобального определения установки точек на дюйм для спокойных приложений, возможно, простого ввода сценария обертки xrandr --dpi 96
прежде и восстановление начальных точек на дюйм, устанавливающих после того, как, такое приложение могло сделать также...
Меньше, чем идеальное временное решение, которое я нашел, являются следующим простым сценарием удара обертки, который может использоваться в соответствующем .desktop файле вместо исполняемого файла рассматриваемого приложения, например. masterpdfeditor4
:
#!/bin/bash
HiDPI="$(xdpyinfo | grep dots | awk -F'x' '{print $2}' | awk -F' ' '{print $1}')"
if [[ ! $HiDPI = 96 ]]
then
xrandr --dpi 96
masterpdfeditor4 "$@"
xrandr --dpi $HiDPI
else
masterpdfeditor4 "$@"
fi
Это восстановит исходную установку точек на дюйм, только если одно такое приложение открыто и закрыто, или в случае, если больше чем одно такое приложение запускается, только если первое приложение закрывается в последний раз.
Во-вторых, так или иначе некоторые элементы GUI кроме меню и панелей инструментов не могут быть зафиксированы таким образом, например, размер курсора в рабочей области Krita...