diff options
author | Michael Davis | 2023-08-31 06:11:01 +0000 |
---|---|---|
committer | GitHub | 2023-08-31 06:11:01 +0000 |
commit | a2767269d0e8500b49088a472856e41cd6dee492 (patch) | |
tree | 6b91db270210d48af77a178c1c2f81f1a8796519 /runtime/themes/monokai_pro_ristretto.toml | |
parent | 6bef982f2d259cdecb8e249cf1ec4d5e20bb8b38 (diff) |
crossterm: Handle 'hidden' modifier (#8120)
Crossterm supports the 'hidden' SGR parameter but we previously didn't
set the attribute when the "hidden" modifier was specified in a theme.
Diffstat (limited to 'runtime/themes/monokai_pro_ristretto.toml')
0 files changed, 0 insertions, 0 deletions