fix: Allow unevaluated bottom values in EvResize.

This isn't the ideal fix. I'll look into making a better fix, but this
unbreaks master.
This commit is contained in:
iphydf 2022-03-14 18:20:38 +00:00
parent e4fb394cdf
commit c979c031d5
No known key found for this signature in database
GPG Key ID: 3855DBA2D74403C9

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