From d6e1a31bbb617d2588609b80c3c28b1e0c2d0358 Mon Sep 17 00:00:00 2001 From: Dan Nicolaescu Date: Thu, 28 Feb 2008 15:43:21 +0000 Subject: [PATCH] *** empty log message *** --- etc/TODO | 3 --- 1 file changed, 3 deletions(-) diff --git a/etc/TODO b/etc/TODO index 5698f0a4f89..56c6fc1f13e 100644 --- a/etc/TODO +++ b/etc/TODO @@ -46,9 +46,6 @@ I.e. mouse-set-font should use customize-face. ** Distribute a bar cursor of width > 1 evenly between the two glyphs on each side of the bar (what to do at the edges?). -** Make vc-checkin avoid reverting the buffer if has not changed after - the checkin. Comparing (md5 BUFFER) to (md5 FILE) should be enough. - ** buffer-offer-save should be a permanent local. ** revert-buffer should eliminate overlays and the mark. -- 2.39.2