diff src/.gdbinit @ 26746:d22cd599a91a

(font-lock-default-fontify-region): Fix subtle off-by-one problem that could force re-fontifying the whole buffer. (font-lock-remove-keywords): New function. (font-lock-add-keywords): Use the new function to ensure idempotence.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 07 Dec 1999 06:31:57 +0000
parents 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff