diff src/=convexos.h @ 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 8175d30c0181
children
line wrap: on
line diff