diff etc/splash.pbm @ 72231:3ca9684795fe

(jit-lock-fontify-now): Cause a second redisplay if needed. (jit-lock-start, jit-lock-end): New dynamic scoped vars. (jit-lock-after-change-extend-region-functions): New hook. (jit-lock-after-change): Use it instead of hard-coding font-lock code.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 01 Aug 2006 19:01:24 +0000
parents b28c6e54c0f3
children
line wrap: on
line diff