From a5f370b463c0706f4aed5452e84f453bfa647d4c Mon Sep 17 00:00:00 2001 From: Alexander Rimer Date: Wed, 11 Sep 2024 16:51:49 +0200 Subject: [PATCH 1/2] mbeddr.doc: don't stop screenshot generation in MpsEnvironment keep the warning to motivate people to use other approaches --- .../languages/com.mbeddr.doc/languageModels/plugin.mps | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps b/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps index a3db43199d1..cf0b0087da5 100644 --- a/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps +++ b/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps @@ -276,7 +276,6 @@ - @@ -2318,7 +2317,7 @@ - + @@ -2852,7 +2851,6 @@ - @@ -3193,13 +3191,11 @@ - - From f59fdadc26a764d0f0644a80159ca5c70783fa9a Mon Sep 17 00:00:00 2001 From: Alexander Rimer Date: Mon, 16 Sep 2024 10:48:48 +0200 Subject: [PATCH 2/2] Update code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Sergej Koščejev --- .../languages/com.mbeddr.doc/languageModels/plugin.mps | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps b/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps index cf0b0087da5..42bba43f1da 100644 --- a/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps +++ b/code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/languageModels/plugin.mps @@ -2317,7 +2317,7 @@ - +