diff options
| author | Maxime Coste <mawww@kakoune.org> | 2017-11-25 12:53:33 +0800 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2017-11-25 12:53:33 +0800 |
| commit | 318e77b25e02005a124073560e14237e847f1355 (patch) | |
| tree | adfe842c1ebdbad2bca823a40d2faa010996b44b /src/hook_manager.cc | |
| parent | 66250a06eb027d6e29d4e90a1e2b59d8bf27b244 (diff) | |
Highlighters: Introduce unique highlighter support
Some highlighters, such as wrap or line numbers, are not intended
to be used multiple times on the same display. Add support for unique
ids that are used by highlighters to disable themselves if another
unique highlighter with the same id is supposed to override them.
The usual highlighter "precedence" takes, place, that it, that most
nested highlighter will the the one to run (window in priority to
buffer in priority to global).
Diffstat (limited to 'src/hook_manager.cc')
0 files changed, 0 insertions, 0 deletions