diff src/buffer.h @ 32849:e1dec7e5a57c

(get_char_property_and_overlay): New function. (Fget_char_property): Use it.
author Miles Bader <miles@gnu.org>
date Wed, 25 Oct 2000 05:14:01 +0000
parents c3073b2c8dfa
children 17cf716e8dc6
line wrap: on
line diff