diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-12-11 05:54:44 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-12-11 05:54:44 +0000 |
| commit | 0fef26e3c4e48c3a50d708e8ec9ca3dd42c396ef (patch) | |
| tree | 36b64a0f6ca958b62580b4e1f6359f4f6ea1c2a7 /etc/TODO | |
| parent | e49337eabb2f1d16999f9329b287ca43d68c47cf (diff) | |
| download | emacs-0fef26e3c4e48c3a50d708e8ec9ca3dd42c396ef.tar.gz | |
revert-buffer should eliminate overlays and the mark
Diffstat (limited to 'etc/TODO')
| -rw-r--r-- | etc/TODO | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -37,8 +37,6 @@ a window doesn't select it. ** buffer-offer-save should be a permanent local. -** revert-buffer should eliminate overlays and the mark. - ** erase-buffer should perhaps disregard read-only properties of text. ** Make occur correctly handle matches that span more than one line, |