From 62c3f6a7f4b1a9c596cfa1d22a37a9ebb43d8a16 Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.im>
Date: Thu, 18 Sep 2014 09:28:00 +0200
Subject: [PATCH] dock: restart awesome after reconfiguring

It is likely that awesome missed the second xrandr event.
---
 bin/input-event | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/input-event b/bin/input-event
index 595d7b3..4cd99c6 100755
--- a/bin/input-event
+++ b/bin/input-event
@@ -42,6 +42,7 @@ case "$event,$use,$(uname -n),$name" in
         if xrandr | grep '^DP. connected'; then
             xrandr --output eDP1 --off --output DP3 --auto --primary
             xrandr --output DP4 --auto --right-of DP3 --dpi 96
+            echo 'awesome.restart()' | awesome-client
         fi
         xkb default
         ;;