Merge pull request #239 from iphydf/lazy-error

fix: Allow unevaluated bottom values in `EvResize`.
This commit is contained in:
Jonathan Daugherty 2022-03-14 12:19:58 -07:00 committed by GitHub
commit 4969735ce4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -51,11 +51,14 @@ data Event
-- row. Some terminals report only that a button was released -- row. Some terminals report only that a button was released
-- without specifying which one; in that case, Nothing is provided. -- without specifying which one; in that case, Nothing is provided.
-- Otherwise Just the button released is included in the event. -- Otherwise Just the button released is included in the event.
| EvResize Int Int | EvResize ~Int ~Int
-- ^ If read from 'eventChannel' this is the size at the time of the -- ^ If read from 'eventChannel' this is the size at the time of the
-- signal. If read from 'nextEvent' this is the size at the time the -- signal. If read from 'nextEvent' this is the size at the time the
-- event was processed by Vty. Typically these are the same, but if -- event was processed by Vty. Typically these are the same, but if
-- somebody is resizing the terminal quickly they can be different. -- somebody is resizing the terminal quickly they can be different.
--
-- Note: this is a lazy constructor to support bottom/error values
-- passing through the input events channel.
| EvPaste ByteString | EvPaste ByteString
-- ^ A paste event occurs when a bracketed paste input sequence is -- ^ A paste event occurs when a bracketed paste input sequence is
-- received. For terminals that support bracketed paste mode, these -- received. For terminals that support bracketed paste mode, these