From 1534864ffbf45d3eae90596d9f773ec836093243 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 21 Oct 2019 12:04:08 +0200 Subject: [PATCH] Separately register USER-level typechecking options, drop synch barrier. Keep it simple and stupid. Options providers are registed in application plugin and project plugin. Application plugin registers the USER level options, project plugin is responsible for UI level. Option providers are cleard on closing project/closing app. --- ...ains.mps.coderules.typechecking.plugin.mps | 1041 +++++++---------- .../jetbrains.mps.coderules/models/plugin.mps | 108 +- 2 files changed, 561 insertions(+), 588 deletions(-) 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 27139a4f..9321d023 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 @@ -139,17 +139,9 @@ - - - - - - - - @@ -165,9 +157,6 @@ - - - @@ -182,7 +171,9 @@ - + + + @@ -192,13 +183,6 @@ - - - - - - - @@ -274,6 +258,10 @@ + + + + @@ -298,14 +286,6 @@ - - - - - - - - @@ -370,7 +350,9 @@ + + @@ -2620,6 +2602,12 @@ + + + + + + @@ -2754,6 +2742,12 @@ + + + + + + @@ -3861,7 +3855,6 @@ - @@ -3933,39 +3926,21 @@ - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -4011,37 +3986,19 @@ - - - - - + + + + - - - - - - + + + - - - - - - - - - - - - - - - - - - + + + + @@ -4090,37 +4047,19 @@ - - - - - + + + + - - - - - - + + + - - - - - - - - - - - - - - - - - - + + + + @@ -4156,195 +4095,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4354,30 +4104,97 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4397,137 +4214,273 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4545,11 +4498,6 @@ - - - - - @@ -4558,9 +4506,46 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -4647,12 +4632,17 @@ - - - + + + + + + + + - - + + @@ -4753,161 +4743,39 @@ - - - - + + + + + + + + + + + - - - - + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -4917,6 +4785,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index 61739518..9567571a 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -7166,6 +7166,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7521,7 +7564,7 @@ - + @@ -7554,6 +7597,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7962,7 +8030,7 @@ - + @@ -7974,6 +8042,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +