From 46c2975e3ae90756ce1f34454b7b8fd91eba3aef Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Mon, 25 Nov 2024 17:12:48 +0100 Subject: [PATCH] editor.bool: use true/false as default substitute text if they are not specified --- .../models/de/itemis/mps/editor/bool/runtime.mps | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/code/widgets/solutions/de.itemis.mps.editor.bool.runtime/models/de/itemis/mps/editor/bool/runtime.mps b/code/widgets/solutions/de.itemis.mps.editor.bool.runtime/models/de/itemis/mps/editor/bool/runtime.mps index 9a027fb81..69404b605 100644 --- a/code/widgets/solutions/de.itemis.mps.editor.bool.runtime/models/de/itemis/mps/editor/bool/runtime.mps +++ b/code/widgets/solutions/de.itemis.mps.editor.bool.runtime/models/de/itemis/mps/editor/bool/runtime.mps @@ -126,6 +126,7 @@ + @@ -4037,8 +4038,19 @@ - - + + + + + + + + + + + + +