Use font-lock-flush when available.