chiark / gitweb /
Use ratatui's Color::Gray instead of Color::White.
authorSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 22:29:36 +0000 (22:29 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 30 Dec 2023 06:49:07 +0000 (06:49 +0000)
commita77b334ea14a381a694a6df5b3fb111a7f5fa172
tree835a42814b855974c73cbe493bb7d639be360bdf
parent7bc8ba102774dff00a4896ccf92c1d45ddaf7b64
Use ratatui's Color::Gray instead of Color::White.

The former is the ESC[37m colour. The latter seems like the natural
name to my way of thinking, but it means tell the terminal you're
_really serious_ about wanting proper #ffffff.
src/tui.rs