diff make-dist @ 7491:621c162a80db

(font-lock-no-comments): New variable. (font-lock-after-change-function): Test it. (font-lock-fontify-buffer): Test it. (font-lock-set-defaults): Set it. (font-lock-mode): Make font-lock-no-comments local. (font-lock-after-change-function): If we don't call font-lock-fontify-region, clear out face props instead. (font-lock-fontify-buffer): Don't give "syntactically" message if we aren't doing that part.
author Richard M. Stallman <rms@gnu.org>
date Fri, 13 May 1994 21:24:47 +0000
parents 836cfa8829a7
children 6191acd134b6
line wrap: on
line diff