Merge maintenance/mps20243 into master#1108

Merged

mps-ci-buildbot merged 15 commits intomasterfrom

Dec 18, 2024

Commits on Dec 13, 2024

fix(treenotation): overlapping buttons
slisson
committed

Commits on Dec 15, 2024

mpsutil.intentions: rewrite code to use the intention menu producer
Alexander Pann
committed
Merge pull request #1096 from JetBrains/bugfix/intention_meniu_producer
Alexander Pann
authored
editor.dropdown: improve border color and arrow drawing
Alexander Pann
committed
Merge pull request #1098 from JetBrains/bugfix/dropdown_better_arrow
Alexander Pann
authored

Commits on Dec 17, 2024

editor.diagram: keep the fitted layout in the PortLayouter
Alexander Pann
committed
Merge pull request #1102 from JetBrains/bugfix/more_stable_port_layouting
Alexander Pann
authored

Commits on Dec 18, 2024

fix resolve infos
Alexander Pann
committed
Merge pull request #1095 from JetBrains/bugfix/treenotation-overlapping-buttons
slisson
authored
Merge remote-tracking branch 'refs/remotes/origin/maintenance/mps20241' into merge/mps20241
Alexander Pann
committed
add a dependency from shadowmodels to blutil
Alexander Pann
committed
mpsutil.intentions: remove an unnecessary overwritten method
Alexander Pann
committed
force save all
Alexander Pann
committed
Merge pull request #1097 from JetBrains/merge/mps20241
mps-ci-buildbot
authored
Merge pull request #1107 from JetBrains/merge/mps20243
mps-ci-buildbot
authored