From 965a20f31bc079e529f040176a25ff80ef3a11eb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20L=C3=BCck?= Date: Wed, 15 Jan 2025 23:34:23 +0100 Subject: [PATCH] Make intentions executable even if they have children, just like in MPS IntentionMenuProducer. --- .../com/mbeddr/mpsutil/intentions/runtime.mps | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/code/intentionsmenu/com.mbeddr.mpsutil.intentions.runtime/models/com/mbeddr/mpsutil/intentions/runtime.mps b/code/intentionsmenu/com.mbeddr.mpsutil.intentions.runtime/models/com/mbeddr/mpsutil/intentions/runtime.mps index 81e269253..aee6b5590 100644 --- a/code/intentionsmenu/com.mbeddr.mpsutil.intentions.runtime/models/com/mbeddr/mpsutil/intentions/runtime.mps +++ b/code/intentionsmenu/com.mbeddr.mpsutil.intentions.runtime/models/com/mbeddr/mpsutil/intentions/runtime.mps @@ -2134,6 +2134,24 @@ + + + + + + + + + + + + + + + + + +