agda / cornelis

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

Sometimes makes extra scratch buffers #119

Closed llllvvuu closed 1 year ago

llllvvuu commented 1 year ago

I've seen both of the following happen:

Unfortunately, I'm not sure how to repro. It happens not infrequently, but I can't figure out when/why. I'm hoping someone else has seen this. If I figure it out, I'll come back and report.

EDIT: Actually, it occurs to me that my onBufEnter configuration may be causing it since I had put both CornelisLoad and CornelisGoal which is redundant, and probably triggered an async issue.