|
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] |