diff src/undo.c @ 30787:efa4d1ed3f1b

(show-paren-priority): New user option. (show-paren-function): Set overlay priorities to show-paren-priority.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 14 Aug 2000 19:46:18 +0000
parents 5583737fcf85
children 78ce106d272e
line wrap: on
line diff