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 /protocol/river-layout-v3.xml | |
| 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.
Diffstat (limited to 'protocol/river-layout-v3.xml')
0 files changed, 0 insertions, 0 deletions