more thorough job of deleting old overlays on startup
authorJohn Foerch <jjfoerch@earthlink.net>
Tue, 7 Dec 2010 22:13:51 +0000 (17:13 -0500)
committerJohn Foerch <jjfoerch@earthlink.net>
Tue, 7 Dec 2010 22:13:51 +0000 (17:13 -0500)
Before this patch, revert-buffer caused stale overlays to not get cleaned
up because it depended on visible-mark-overlays being valid.  However,
reverting the buffer wipes out local variables.


No differences found