xsettings: change DPI twice again

This commit is contained in:
Vincent Bernat 2019-07-18 10:52:10 +02:00
parent b7150025e0
commit 1aa3f19a7d

View file

@ -38,4 +38,10 @@ change() {
echo Xft.dpi: $dpi | xrdb -merge
}
if [ x"$pid" != x ]; then
# Change a first time to a DPI that will trigger a scale factor
# change (notably, Firefox needs that).
change $(( $dpi * 2 ))
sleep 1
fi
change $dpi