From 196c52885f28a9d85483c39f46346167dc839493 Mon Sep 17 00:00:00 2001
From: Leon Henrik Plickat <leonhenrik.plickat@stud.uni-goettingen.de>
Date: Mon, 14 Jun 2021 19:51:55 +0000
Subject: [PATCH] Decrease layout demand timeout to 100ms

Layout generators are generally pretty fast. The timeout is only reached when
the generator is faulty / stuck. In that case, freezing for 1 second is simply
bad UX.
---
 river/LayoutDemand.zig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/river/LayoutDemand.zig b/river/LayoutDemand.zig
index c0567eb..226a40c 100644
--- a/river/LayoutDemand.zig
+++ b/river/LayoutDemand.zig
@@ -38,7 +38,7 @@ const log = std.log.scoped(.layout);
 
 const Error = error{ViewDimensionMismatch};
 
-const timeout_ms = 1000;
+const timeout_ms = 100;
 
 serial: u32,
 /// Number of views for which dimensions have not been pushed.