diff options
author | Gregory Anders <8965202+gpanders@users.noreply.github.com> | 2021-09-26 16:02:18 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-26 16:02:18 -0700 |
commit | 187e3a3b7e210e354a3377fc41ac1fc36876d762 (patch) | |
tree | 55d4f089c96295106476ad05e58a966603b42a46 /scripts/gen_vimdoc.py | |
parent | cb51a1b615376b3bbd6096c1d70f65028e7f6fde (diff) | |
download | rneovim-187e3a3b7e210e354a3377fc41ac1fc36876d762.tar.gz rneovim-187e3a3b7e210e354a3377fc41ac1fc36876d762.tar.bz2 rneovim-187e3a3b7e210e354a3377fc41ac1fc36876d762.zip |
refactor(diagnostic): use sign priority for severity_sort #15785
Rather than relying on the order in which signs are placed to dictate
the order in which they are displayed, explicitly set the priority of
the sign according to the severity of the diagnostic and the value of
severity_sort. If severity_sort is false or unset then all signs use the
same priority.
Diffstat (limited to 'scripts/gen_vimdoc.py')
0 files changed, 0 insertions, 0 deletions