diff options
| author | Jeremy Saenz <jeremy.saenz@gmail.com> | 2022-08-18 00:30:39 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-18 09:30:39 +0200 |
| commit | 8d13f4ca8a449d9bd687234b4cb7c531c50b0fa4 (patch) | |
| tree | b407c9517773c5db08ce98df0db94758851c9989 /plugin | |
| parent | d793de0f12d874c463e81edabee741b802c1a37a (diff) | |
rfc: use extmarks for highlighting and carets (#2099)
* Starting to make some progress on extmarks for prefixes
* Finished up extmarks for multi-icons
* Cleaned up update_prefix calls, added display highlights
* remove highlight_one_row
* Remove TODOs
* stylua fixes
* fixes for luacheck
* Fixed whitespace to appease the stylua gods
* fixed a couple nits from pr
* Got tests passing with new highlighting functionality
* Apply suggestions from code review
Co-authored-by: Fabian David Schmidt <39233597+fdschmidt93@users.noreply.github.com>
Co-authored-by: Fabian David Schmidt <39233597+fdschmidt93@users.noreply.github.com>
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions