* Invalidate editor state in case of concurrent modifications.