diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-19 13:01:49 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-19 13:01:49 -0400 |
| commit | 0c10d1b7a38e84b11c9e54c29bfda080ce05b89c (patch) | |
| tree | 5e740fb88a1ed3ba32c5b3484898558fbc292cce /MEDIA.md | |
| parent | 322e8af00ae62a42be1c6ca2a522c2ce6f5f418e (diff) | |
| download | textadept-0c10d1b7a38e84b11c9e54c29bfda080ce05b89c.tar.gz textadept-0c10d1b7a38e84b11c9e54c29bfda080ce05b89c.zip | |
Make `ui.highlight_words` a multi-option setting.
Highlighting the current word could be useful instead of just the selected word.
Diffstat (limited to 'MEDIA.md')
0 files changed, 0 insertions, 0 deletions