From c49a475a17dc9c1ad23cb306371fc23cb22288f0 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Wed, 29 Jun 2022 13:45:46 +0200 Subject: [PATCH] Fix optional cells --- .../models/editor.mps | 24 +++-------------- .../org/iets3/core/expr/toplevel/editor.mps | 27 +++---------------- 2 files changed, 6 insertions(+), 45 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/editor.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/editor.mps index 08d742f091..9ab1c45d93 100755 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/editor.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/editor.mps @@ -2151,24 +2151,6 @@ - - - - - - - - - - - - - - - - - - @@ -2194,6 +2176,9 @@ + + + @@ -4589,9 +4574,6 @@ - - - diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/editor.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/editor.mps index dbe5b781a5..50f576bfba 100755 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/editor.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/editor.mps @@ -1765,13 +1765,13 @@ - + @@ -1899,13 +1899,6 @@ - - - - - - - @@ -1968,6 +1961,7 @@ + @@ -1988,23 +1982,15 @@ - - - - - - - - + - @@ -2224,13 +2210,6 @@ - - - - - - -