diff src/w32menu.c @ 45707:1ad70e69b4ba

(Info-mode): Do set `font-lock-defaults', and be sure to set `font-lock-core-only'.
author Colin Walters <walters@gnu.org>
date Sun, 09 Jun 2002 00:18:15 +0000
parents 20574c51c791
children 9484de301252
line wrap: on
line diff