From cb7763f070a1e03eec4697f217298e0d26d3d63d Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.im>
Date: Wed, 30 Mar 2016 10:10:31 +0200
Subject: [PATCH] xsettings: when using HDMI output only, keep HiDPI

The HDMI output is used mostly for presentations.
---
 bin/xsettingsd-setup | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/xsettingsd-setup b/bin/xsettingsd-setup
index fed400b..b414f1d 100755
--- a/bin/xsettingsd-setup
+++ b/bin/xsettingsd-setup
@@ -6,7 +6,9 @@ case $(hostname),$(xrandr --current | \
                           sed -n 's/\([^ ]*\) connected .*[0-9][0-9]*x[0-9][0-9]*+[0-9][0-9]*+[0-9][0-9]* .*/\1/p' | \
                           sort | tr '\n' ':') in
     zoro,eDP1:) dpi=144 ;;
+    zoro,eDP1:HDMI2:) dpi=144 ;;
     zoro,eDP-1:) dpi=144 ;;
+    zoro,eDP-1:HDMI-2:) dpi=144 ;;
     *) dpi=96 ;;
 esac