Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
ivy.el: Touch up yank pulsing #1856
Sorry for not raising this sooner, but is the name of the face
Furthermore, I don't think
Not disposing of the overlay is intentional: I made it a global because I don't expect two such overlays to be visible at a time.
I am not so sure there is a real need for that, but why not.
I am neither for nor against this new semantics. But see inline comments about the implementation.
Deleting the overlay is not meant to protect from simultaneous overlays, it's just being cautious about not leaving markers lying around. The previous code also deleted the overlay; I just additionally set its variable to
I would like to be able to disable this feature (though I haven't tested whether disabling the delay does that yet). Update: it does :)