From 889ac5f3192bf53ed1399036b5854398e2463410 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 3 Oct 2024 13:25:47 +0200 Subject: [PATCH] com.mbeddr.doc: fix DocumentRef deletion --- .../com.mbeddr.doc/languageModels/editor.mps | 28 +++++++++++-------- 1 file changed, 17 insertions(+), 11 deletions(-) diff --git a/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/editor.mps b/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/editor.mps index 934eb56e81..216c4f6531 100644 --- a/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/editor.mps +++ b/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/editor.mps @@ -404,6 +404,9 @@ + + + @@ -1578,19 +1581,15 @@ - - - - - - - - - - + + + + + + + - @@ -14494,5 +14493,12 @@ + + + + + + +