|
From: | Richard Stallman |
Subject: | Re: bug in overlays-at/overlays-in |
Date: | Mon, 7 Jan 2002 11:14:03 -0700 (MST) |
When the minibuffer is erased, the overlay is left with an empty range. It still exists but does not cover the desired range any more. You could put it back using move-overlay.
[Prev in Thread] | Current Thread | [Next in Thread] |