Merge maintenance/mps20251 into master#1695

Merged

mps-ci-buildbot merged 17 commits intomasterfrom

Dec 12, 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
refactor(alias-customization): move the feature into a separate language nl.f1re.mps.aliascustomization + refactor implementation
Alexander Pann
committed
Merge pull request #1693 from JetBrains/merge/mps20251
mps-ci-buildbot
authored

Commits on Dec 10, 2025

Commits on Dec 11, 2025

Commits on Dec 12, 2025

Merge pull request #1694 from JetBrains/feature/intention_customization
alexanderpann
authored
Merge remote-tracking branch 'origin/master' into merge/master
Alexander Pann
committed
run migrations
Alexander Pann
committed