Merge maintenance/mps20241 into maintenance/mps20251#1693

Merged

mps-ci-buildbot merged 5 commits intomaintenance/mps20251from

Dec 9, 2025

Commits on Dec 2, 2025

perf(linenumbers): they were slowing down the update of the main editor
slisson
committed

Commits on Dec 4, 2025

Merge pull request #1683 from JetBrains/performance/line-numbers
slisson
authored

Commits on Dec 8, 2025

Commits on Dec 9, 2025

Merge remote-tracking branch 'origin/maintenance/mps20241' into merge/mps20251
slisson
committed