|
| From: | Richard Stallman |
| Subject: | Re: address@hidden: highlight-changes-rotate-faces sets buffer modified flag] |
| Date: | Wed, 09 May 2007 17:34:11 -0400 |
(2) Suppose I reset the buffer-modified flag and bind `buffer-undo-list'
to t as in my patch. In this case I would not be able to undo the
change caused by `highlight-changes-rotate-faces' and end up with quite
confusing colors after an arbitrary sequence of undos and saves.
Should this mode use overlays?
Should it use something the font-lock mechanism so that it can update
when the buffer is edited?
| [Prev in Thread] | Current Thread | [Next in Thread] |