diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps index 12312b74..9ba29ab6 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps @@ -4461,29 +4461,38 @@ + + + + + + + - - - - - - - - + + + + - - - + + + - + + + + + + + @@ -4518,8 +4527,11 @@ - - + + + + + @@ -4530,8 +4542,11 @@ - - + + + + + @@ -4567,33 +4582,13 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + + + + +