diff options
| author | Joris | 2018-10-31 19:03:19 +0100 |
|---|---|---|
| committer | Joris | 2018-10-31 19:03:19 +0100 |
| commit | 86957359ecf54c205aee1c09e151172c327e987a (patch) | |
| tree | 57232850550209d491e74498fddd500b59bfd1e3 /client/src/Util | |
| parent | b5244184920b4d7a8d64eada2eca21e9a6ea2df9 (diff) | |
Various fixes
Diffstat (limited to 'client/src/Util')
| -rw-r--r-- | client/src/Util/WaitFor.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/client/src/Util/WaitFor.hs b/client/src/Util/WaitFor.hs index 46882aa..02edff5 100644 --- a/client/src/Util/WaitFor.hs +++ b/client/src/Util/WaitFor.hs @@ -12,6 +12,6 @@ waitFor -> Event t a -> m (Event t b, Event t Bool) waitFor op input = do - result <- op input >>= R.debounce (0.2 :: NominalDiffTime) + result <- op input >>= R.debounce (0.5 :: NominalDiffTime) let waiting = R.leftmost [ const True <$> input , const False <$> result ] return (result, waiting) |