From 7f34ea78f6386b61bd6b87028195228508b5f732 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 28 Apr 2022 17:18:12 +0200 Subject: [PATCH] Drop incrementality-related options and UI elements --- ...rains.mps.coderules.typechecking@tests.mps | 21 - ...ains.mps.coderules.typechecking.plugin.mps | 799 ++---------------- 2 files changed, 66 insertions(+), 754 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps index c89ba7b6..a3d05ab3 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps @@ -4814,27 +4814,6 @@ - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index d2964576..9945cdfd 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -4127,10 +4127,6 @@ - - - - @@ -4147,150 +4143,112 @@ - - - - - - - - + + + + + + + + + + + + + + + + + - - - - + + + + - + - - - - - - - - + + + + + + + + + - - - - + + + + - + - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - + + + + - + - - - - - - - - + + + + + + + + + - - - - + + + + - + @@ -4298,34 +4256,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -4370,44 +4303,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4492,48 +4387,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4663,42 +4516,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4801,19 +4618,6 @@ - - - - - - - - - - - - - @@ -5176,23 +4980,6 @@ - - - - - - - - - - - - - - - - - @@ -5749,42 +5536,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5887,68 +5638,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6034,93 +5724,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6199,20 +5802,6 @@ - - - - - - - - - - - - - - @@ -6263,24 +5852,6 @@ - - - - - - - - - - - - - - - - - - @@ -6420,126 +5991,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7119,72 +6570,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7541,59 +6926,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -