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