diff options
| author | Leon Henrik Plickat <leonhenrik.plickat@stud.uni-goettingen.de> | 2021-06-14 19:51:55 +0000 |
|---|---|---|
| committer | Isaac Freund <mail@isaacfreund.com> | 2021-10-04 11:07:59 +0200 |
| commit | 196c52885f28a9d85483c39f46346167dc839493 (patch) | |
| tree | b37b5a05f86102624c449a12fbca528b61a23d51 | |
| parent | 5b8eab569c0860d48642bf096eccaa02244085e8 (diff) | |
| download | river-196c52885f28a9d85483c39f46346167dc839493.tar.gz river-196c52885f28a9d85483c39f46346167dc839493.tar.xz | |
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.
| -rw-r--r-- | river/LayoutDemand.zig | 2 |
1 files changed, 1 insertions, 1 deletions
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. |