commit | 57100376cc70739f53a1f8a4bacf192b8cdcd124 | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Nov 03 13:37:17 2021 +0000 |
committer | nicm <nicm> | Wed Nov 03 13:37:17 2021 +0000 |
tree | ba38ff2eea97bea502e9005ed529616008ab4d9e | |
parent | 200b6536e13b41a6fed72c0ca4f364f270bfe382 [diff] |
Add a cursor-style option, from Alexis Hildebrandt in GitHub issue 2960.