@@ -51,14 +51,9 @@ 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+ -- The terminal window was resized and the size is provided in the
56− -- signal. If read from 'nextEvent' this is the size at the time the
56+ -- integer fields (width, height).
57− -- event was processed by Vty. Typically these are the same, but if
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.
62 | EvPaste ByteString
57 | EvPaste ByteString
63 -- ^ A paste event occurs when a bracketed paste input sequence is
58 -- ^ A paste event occurs when a bracketed paste input sequence is
64 -- received. For terminals that support bracketed paste mode, these
59 -- received. For terminals that support bracketed paste mode, these