From 94ceb7614f640763b1ec0f9bd188eb5779e02464 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 23 Feb 2023 16:43:50 +0100 Subject: [PATCH] Fix config option provider --- ...ins.mps.coderules.typechecking.service.mps | 79 +++++++++++-------- 1 file changed, 44 insertions(+), 35 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index 4988be02..9ff5c690 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -21864,7 +21864,7 @@ - + @@ -21872,8 +21872,8 @@ - - + + @@ -21886,45 +21886,54 @@ - - - - - - - - - - - - - - - - - - + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - + + + - +