|
From: | Gregory Heytings |
Subject: | Re: font-lock-fontify-block |
Date: | Thu, 11 Mar 2021 19:25:44 +0000 |
Also, I suspect that for your use case, we could have a general "refresh" command, which just calls `font-lock-flush`, which would not depend on the ill-defined notion of "block" (and wouldn't mess with the mark).Yes, I agree that a (defun font-lock-fontify-window () (interactive) (font-lock-flush (window-start) (window-end))) would probably be useful.It could even flush from point-min to point-max.
Is that not what font-lock-fontify-buffer already does (except during narrowing)?
[Prev in Thread] | Current Thread | [Next in Thread] |