diff etc/pl-refcard.ps @ 51121:e8c521db7bea

(get_local_map): Don't get char-property of previous point any more: get_pos_property already does it and better.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 21 May 2003 16:39:49 +0000
parents cca3d7d412be
children 3f1743ca9233
line wrap: on
line diff