From 1aa3f19a7d7a65dfea3218eeea81b853b8940934 Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.ch>
Date: Thu, 18 Jul 2019 10:52:10 +0200
Subject: [PATCH] xsettings: change DPI twice again

---
 bin/xsettingsd-setup | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/bin/xsettingsd-setup b/bin/xsettingsd-setup
index c70aef7..f22148e 100755
--- a/bin/xsettingsd-setup
+++ b/bin/xsettingsd-setup
@@ -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