|
From: | Richard Stallman |
Subject: | Re: GNUS utilities leak overlays |
Date: | Fri, 16 Jul 2004 12:09:10 -0400 |
Perhaps erase-buffer should delete all overlays in the buffer. This would fit naturally with the general meaning of the command. Would it break anything?
[Prev in Thread] | Current Thread | [Next in Thread] |