search

isovector / cornelis

agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
130 stars 22 forks source link

Minor highlighting issue #88

Closed Lysxia closed 1 year ago

Lysxia commented 1 year ago

I have some strange bits of highlighting sometimes, see attached (above, before "normal" highlighting kicks in; below, after that).

Untitled

For some reason, "Reasonin" in |-Reasoning is being highlighted on its own and the color persists through reloading the file.

I can look into this later, but I opened this just in case you had a guess about what's going on.

isovector commented 1 year ago

Stupid question, but does it persist after running :noh? The fact that it's on line 1 and 3 makes me think this isn't coming from Agda. Otherwise I have no idea :)

Lysxia commented 1 year ago

:facepalm: That was it. Sorry for the noise :)