agda-mode
agda-mode copied to clipboard
floating of goal numbers
The following picture shows the issue, I'm using two panels. Maybe is just an issue with a z-index, I don't know.
If I scroll up then I got this in the top panel.
I'll look into it, thanks for the issues you have reported in these days!