dotter

commit 1b46daa3f636f0447416c3cbd8f927cc2ca795d2
parent e9dabfb451372b2f60806f28b3127ebd88a860e6
Author: Morel Bérenger <berengermorel76@gmail.com>
Date:   Mon,  4 Sep 2023 11:58:54 +0200

watcher: gives xdo more time to focus the correct window

Diffstat:
M
watcher
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/watcher b/watcher
@@ -37,7 +37,7 @@ do
 	then
 		$SCRIPT "${SOURCE}" | dot -Tpdf | $VIEWER &
 		TPID=$!
-		xdotool sleep 0.1 windowfocus --sync $FOCUS
+		xdotool sleep 0.2 windowfocus --sync $FOCUS
 		inotifywait "${SOURCE}"
 		kill $TPID
 	else