diff src/w32.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 15f8d649a7a8
children ad1ae9eb641a
line wrap: on
line diff