IDE: Optimization of modification events processing in text editors.

2022-11-17, Edouard Tisserant