diff src/indent.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 b32f6068a250
children 6a0caa788013
line wrap: on
line diff