Open hmelman opened 2 years ago
@hmelman found any workaround? this's kind of annoying.
I think it would help if symbol-overlay included a priority in the overlays it uses and gives the user a symbol-overlay-priority user option to customize.
I pushed a quick change to add this. 🤝
Perfect! This feature has changed my life. :laughing:
(setq symbol-overlay-priority 100)
It's working well for me too.
I'm using (trying out)
eglot
withpython-mode
and it highlights thesymbol-at-point
with an overlay. I usedsymbol-overlay-put
and other occurrences of the symbol highlighted (more clearly), but the keymapsymbol-overlay
installs didn't work. If I typedn
the character was just inserted (eglot's overlay had amodification-hooks
property if that matters), it didn't runsymbol-overlay-jump-next
.I assumed it was because of conflicting overlays and added a 'priority 100 to the
symbol-overlay
overlay and it worked great. I don't know as there's a good solution (there was also aflymake
overlay at point) but I think it would help ifsymbol-overlay
included a priority in the overlays it uses and gives the user asymbol-overlay-priority
user option to customize. That way we could resolve whatever conflicts we come across.