diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-12 17:37:01 -0600 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2022-04-12 17:37:01 -0600 |
| commit | 3abdbef6e5a7d8d614e5b8be5bd8ba2fbb81d01d (patch) | |
| tree | 414aa7f260667a11f840934f10d6be5c52580073 /src/Rahm/Desktop/Layout/Draw.hs | |
| parent | f85c7160e122f367a357d93689947daa1ef241ef (diff) | |
| download | rde-3abdbef6e5a7d8d614e5b8be5bd8ba2fbb81d01d.tar.gz rde-3abdbef6e5a7d8d614e5b8be5bd8ba2fbb81d01d.tar.bz2 rde-3abdbef6e5a7d8d614e5b8be5bd8ba2fbb81d01d.zip | |
Add a Polling-style timeout to mapNextString.
It's not the best thing in the world, but it should help keep things in
a consistent state when dealing with many multi-stroke bindings.
Diffstat (limited to 'src/Rahm/Desktop/Layout/Draw.hs')
0 files changed, 0 insertions, 0 deletions