Closed chentoast closed 2 years ago
closes #14 .
Now, you can control sign priority like this:
require'marks'.setup { sign_priority = 10 }
or like this:
require'marks'.setup { sign_prioity = { lower = 12, upper = 15, builtin = 6, bookmark = 8 } }
closes #14 .
Now, you can control sign priority like this:
or like this: