commit | e6e737ac0bf9a5be729b5c71f3a582355432d041 | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Mar 16 17:00:17 2022 +0000 |
committer | nicm <nicm> | Wed Mar 16 17:00:17 2022 +0000 |
tree | 4bce7dfaad1640bc11bd2051d78eac5fc8769f5f | |
parent | bfbe972225d10be7f6eaca22d88d90df4fae09c9 [diff] |
Add an option to set the character used for unused areas of the terminal, GitHub issue 3110.