From 7593fc7b140b5fd5f9eaefd13b35a9fd27fde13d Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 13 Jun 2022 11:20:06 +0200 Subject: [PATCH] Avoid NPE if preferences are not available --- ...s.mps.coderules.typechecking.ui.plugin.mps | 53 +++++++++++++------ 1 file changed, 36 insertions(+), 17 deletions(-) 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 74a05d01..12312b74 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 @@ -5707,13 +5707,22 @@ - - - - + + + + + + + + - - + + + + + + + @@ -5751,18 +5760,28 @@ - - - - + + + + + + + + + + + + + + + + - - - - - - - + + + + +