diff lib-src/pop.c @ 28208:e83a7193f612

(with-buffer-prepared-for-font-lock): Add comment about behavior of set-buffer-modified-p wrt redisplay.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 20 Mar 2000 12:30:55 +0000
parents 134b57acef68
children 71b1a76cd64a
line wrap: on
line diff