fix code lenses not updating after Undo#2139

Merged

rchl merged 6 commits intomainfrom fix/code-lenses-refresh

Dec 18, 2022

+31-26

Commits on Dec 13, 2022

fix code lenses not updating after doing Undo
rchl
committed

Commits on Dec 14, 2022