diff src/w32gui.h @ 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 beb7f126f175
children 1c1c5d1eb49c
line wrap: on
line diff