commit | 938130bc6925808681cbc003a392ccce2a4455c1 | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Mar 24 12:07:25 2022 +0000 |
committer | nicm <nicm> | Thu Mar 24 12:07:25 2022 +0000 |
tree | 218ba8620491f3a3565009b98f6f08c21218df39 | |
parent | 792d13af49f2550a9a8d11b0099528628957a1a0 [diff] |
Add unit (milliseconds) to escape-time, show unset colours as "none" rather than "invalid" and don't show the same text twice for user options in customize mode.