commit | 8d2286b76917debc4f6c3b0903ad2807ae254bb5 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Nov 01 09:34:49 2021 +0000 |
committer | nicm <nicm> | Mon Nov 01 09:34:49 2021 +0000 |
tree | 5eb3353a6ecebeb3defb4701f63b75cbcfd81a61 | |
parent | 4fe5aa99fb203ddb25089955d8814e1065e11a60 [diff] |
Add a cursor-colour option, from Alexis Hildebrandt in GitHub issue 2959.