@@ -51,14 +51,9 @@ 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
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
57− -- event was processed by Vty. Typically these are the same, but if
58− -- 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.
54+ | EvResize Int Int
55+ -- The terminal window was resized and the size is provided in the
56+ -- integer fields (width, height).
6257 | EvPaste ByteString
6358 -- ^ A paste event occurs when a bracketed paste input sequence is
6459 -- received. For terminals that support bracketed paste mode, these