Conditional editor: Make it possible to customize the alias of any concept#1684

alexanderpann merged 2 commits intomaintenance/mps20251JetBrains/MPS-extensions:maintenance/mps20251from

feature/concept_alias_customizationJetBrains/MPS-extensions:feature/concept_alias_customizationCopy head branch name to clipboard