Re: Problem with revert-buffer and overlays

[martin rudalics]

> 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.
>
> Perhaps things which kills all local variables should also kill all
> overlays in the buffer.

> It should be done in revert-buffer, I think.
> after-find-file is not the right place,
> and normal-mode should NOT mess with overlays.

Why not do this in kill-all-local-variables then?

Although solving this problem is tricky in general.  Consider two
buffers A and B.  A buffer-local variable in A may reference an overlay
in buffer B.  When A is reverted how remove the overlay in B?

>     BTW, I noticed that revert-buffer does not deactivate the mark.
>
> That seems like a bug, too.

Deactivating the mark would have to be done by insert-file-contents if
it finds out that the mark has been invalidated during reversion.  I'd
leave this alone until someone complains.  In a similar way, I don't
think it necessary to remove the CUA rectangle when a buffer is
reverted.