-
Stefan Monnier authored
(reveal-close-old-overlays): Idem. Check overlays's liveness before using them. Simplify the code. (reveal-post-command): Use them. Fix up obsolete windows in reveal-open-spots.
ffb5fc37
(reveal-close-old-overlays): Idem. Check overlays's liveness before using them. Simplify the code. (reveal-post-command): Use them. Fix up obsolete windows in reveal-open-spots.