visible-mark
13 years agomore thorough job of deleting old overlays on startup
John Foerch [Tue, 7 Dec 2010 22:13:51 +0000 (17:13 -0500)]
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.

13 years ago.gitignore
John Foerch [Tue, 7 Dec 2010 20:56:26 +0000 (15:56 -0500)]
.gitignore

13 years agouse mapc instead of mapcar where appropriate
John Foerch [Tue, 7 Dec 2010 20:21:56 +0000 (15:21 -0500)]
use mapc instead of mapcar where appropriate

13 years agovisible-mark-move-overlays: rewrite
John Foerch [Tue, 7 Dec 2010 20:19:20 +0000 (15:19 -0500)]
visible-mark-move-overlays: rewrite

still not perfect.  has problems with reverting buffer, and with faces
being shown in margin text.

13 years agovisible-mark-initialize-faces: remove
John Foerch [Tue, 7 Dec 2010 20:16:00 +0000 (15:16 -0500)]
visible-mark-initialize-faces: remove

user should provide the faces

13 years agovisible-mark-face: better colors
John Foerch [Tue, 7 Dec 2010 20:12:53 +0000 (15:12 -0500)]
visible-mark-face: better colors

14 years agovisible-mark-mode-maybe: explicitly enable the mode
John Foerch [Sun, 20 Dec 2009 02:02:45 +0000 (21:02 -0500)]
visible-mark-mode-maybe: explicitly enable the mode

..instead of toggling it and assuming it's off to begin with.

14 years agoinitial checkin
John Foerch [Sat, 19 Dec 2009 23:52:13 +0000 (18:52 -0500)]
initial checkin