Zander671/river
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Decrease layout demand timeout to 100ms

Browse Source 
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.
This commit is contained in:
Leon Henrik Plickat 2021-06-14 19:51:55 +00:00 committed by Isaac Freund
parent 5b8eab569c
commit 196c52885f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
river/LayoutDemand.zig
View File

@ -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.