diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index 85e83638..b6d9a93d 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -920,6 +920,7 @@ + @@ -1716,6 +1717,7 @@ + @@ -4280,12 +4282,14 @@ + + @@ -4431,6 +4435,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps index be16b893..ed0af971 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps @@ -9,8 +9,8 @@ - + @@ -84,6 +84,7 @@ + @@ -164,13 +165,20 @@ + - + + + + - + + + + @@ -374,12 +382,14 @@ + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index 526cda19..99027d39 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -2492,6 +2492,7 @@ +