diff options
| author | Gokul Soumya | 2021-06-14 14:01:17 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-06-16 06:00:14 +0000 |
| commit | d1c8a74771b241ee0824853bd5e8229cb0ab4187 (patch) | |
| tree | 583f5e890713384295c82930a1f531cf1a6693af /book/theme/highlight.js | |
| parent | 33a35b7589dbc35f43f8823b79591ca857bceeac (diff) | |
Add theme key for selected line number
Adds `ui.linenr.selected` which controls highlight of linu numbes which
have cursors on.
- Fallback to linenr if linenr.selected is missing
- Update docs and themes
- Add TODOs for themes with temporary linenr.selected
Diffstat (limited to 'book/theme/highlight.js')
0 files changed, 0 insertions, 0 deletions