diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-12 17:37:01 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 9b975d25b0ee87ddcf78045195513f87de49b5a7 (patch) | |
| tree | 414aa7f260667a11f840934f10d6be5c52580073 /src/Rahm/Desktop/Layout/Draw.hs | |
| parent | 1fd52349f8b93fdc8bb5f6e94bcae93f1d1f6bc4 (diff) | |
| download | rde-9b975d25b0ee87ddcf78045195513f87de49b5a7.tar.gz rde-9b975d25b0ee87ddcf78045195513f87de49b5a7.tar.bz2 rde-9b975d25b0ee87ddcf78045195513f87de49b5a7.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