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