Re: Problem with revert-buffer and overlays [was: Two minor problems with CUA rectangles]

[Richard M. Stallman]

    This seems to be a generic problem with revert-buffer, as other modes
    may also have overlays in the buffer which should be removed by
    revert-buffer.  It seems like it should unconditionally delete all
    overlays in that buffer.

This seems plausible to me.  In general, one must expect those
overlays to be relocated to garbage, so preserving them cannot work
reliably.

Would you like to do that?