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)
commitda960bad95cbb37155e9ec46f8bfdc66f0131bf9
tree7ff24f22cba6cd320bdae7459555f526a20eb445
parent03c4e729060e42db8eb7239f0de41fad989c4112
more thorough job of deleting old overlays on startup

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.
visible-mark.el