package matrix
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=9e4e90d17f9b2af1b07071fe425bc2c519c849c4f1d1ab73cde512be2d874849
sha512=06e9c4a741590942e81a27738d0b5c0413fafec8cf3b7dae047ad69f155e7b718aa4223818dc161b7d028efffcfd3365905e264d6fd31d453910ddfa91dcf9b9
doc/matrix.input/Input/Caps/index.html
Module Input.CapsSource
Terminal capability responses.
Capability events are terminal responses to control sequence queries. They arrive asynchronously and are routed to a separate callback by Parser; they never appear in the user-facing event stream.
Mode reports
The type for DEC private mode status responses (DECRPM). modes holds (mode, value) pairs following the DEC convention: 0 or 3 for disabled, 1 or 2 for enabled.
equal_mode_report a b is true iff a and b are structurally equal.
pp_mode_report formats mode reports for debugging.
Capability events
type event = | Device_attributes of int list(*Device Attributes (DA/DA2/DA3) response payload.
*)| Mode_report of mode_report(*DEC mode status report (DECRPM).
*)| Pixel_resolution of int * int(*Terminal pixel dimensions
*)(width_px, height_px)fromCSI 4 ; height ; width t.| Cursor_position of int * int(*Cursor position
*)(row, col), 1-based. Row 1 is the top line, column 1 is the leftmost column.| Xtversion of string(*XTerm
*)XTVERSIONresponse (DCS > | ... ST).| Kitty_graphics_reply of string(*Kitty graphics response (APC G ... ST).
*)| Kitty_keyboard of {}(*Kitty keyboard protocol query response
*)CSI ? level [; flags] u.levelis non-zero when the protocol is active.flagsis the optional terminal-reported bitfield.| Color_scheme of [ `Dark | `Light | `Unknown of int ](*Color scheme DSR response
*)CSI ? 997 ; value n, the reply to theCSI ? 996 nquery. Value 1 is dark, 2 is light.
The type for terminal capability events.
equal_event a b is true iff a and b are structurally equal.
pp_event formats capability events for debugging.