Merge maintenance/mps20243 into master#1150

Merged

mps-ci-buildbot merged 7 commits intomasterfrom

Feb 3, 2025

Commits on Jan 28, 2025

editor.diagram: make some graph component options customizable
Alexander Pann
committed
run migrations
Alexander Pann
committed
Merge pull request #1139 from JetBrains/bugfix/diagram_graph_component_settings
Alexander Pann
authored

Commits on Jan 30, 2025

mpsutil.blutil: provide a special editor hint for editors that are simplified to provide a better performance
Alexander Pann
committed

Commits on Feb 3, 2025