From 2c8f1a9294d5d21446fe9be804d337a3d50d44bb Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 6 Nov 2020 12:52:18 +0100 Subject: [PATCH] Disable baseline time when running typechecking query. --- ...s.mps.coderules.typechecking.ui.plugin.mps | 87 +++++++++++++++---- 1 file changed, 69 insertions(+), 18 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 6bbe0ecb..e6a3bb3c 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 @@ -344,6 +344,13 @@ + + + + + + + @@ -3469,26 +3476,70 @@ - - - - + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -