Oh, by the way, I'm particularly sensible to this sort of things because invalidating the whole editor entails applying semantic highlighting styles to the whole editor :-/