diff make-dist @ 11660:7c7519c2a45a

(get_local_map): Use Fget_char_property, so that overlay properties will be considered as well as text properties.
author Karl Heuer <kwzh@gnu.org>
date Tue, 02 May 1995 23:06:11 +0000
parents 52bf246dd940
children e3434c390970
line wrap: on
line diff