From 089933a0ca8a33275894ba8ff1c4c8ed267d6ee7 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sat, 16 Dec 2023 18:38:23 +0100 Subject: [PATCH] mpsutil.spreferences: use editor extensions --- .../mbeddr/mpsutil/spreferences/runtime.mps | 37 +++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.spreferences.runtime/models/com/mbeddr/mpsutil/spreferences/runtime.mps b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.spreferences.runtime/models/com/mbeddr/mpsutil/spreferences/runtime.mps index 1ea9f2db5bb..2ab21fc947f 100644 --- a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.spreferences.runtime/models/com/mbeddr/mpsutil/spreferences/runtime.mps +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.spreferences.runtime/models/com/mbeddr/mpsutil/spreferences/runtime.mps @@ -11,6 +11,7 @@ + @@ -64,6 +65,7 @@ + @@ -541,6 +543,41 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +