diff make-dist @ 30345:d24028985f3d

(goto-address-fontify): Don't bother with buffer-modified and read-only stuff -- irrelevant with overlays. Put an extra property on the overlays and use it to clean up in case goto-address is re-run.
author Dave Love <fx@gnu.org>
date Thu, 20 Jul 2000 17:29:46 +0000
parents 349704f6532f
children 28cc44c6c08c
line wrap: on
line diff