From 94b5b9c71a1cef94970866ea14319fbfc188bf50 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 28 Apr 2017 14:37:38 +0200 Subject: [PATCH] Less contrast color scheme for rules. --- .../languageModels/editor.mps | 95 +++++- .../languageModels/editor.mps | 270 +++++++++++++++--- 2 files changed, 326 insertions(+), 39 deletions(-) diff --git a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps index 56c525f9..97b43045 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -742,9 +742,9 @@ - + + - @@ -2954,7 +2954,96 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index 3e127513..df5cf508 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -594,7 +594,7 @@ - + @@ -616,7 +616,7 @@ - + @@ -885,7 +885,7 @@ - + @@ -899,7 +899,7 @@ - + @@ -912,7 +912,7 @@ - + @@ -956,7 +956,7 @@ - + @@ -975,7 +975,7 @@ - + @@ -1002,7 +1002,7 @@ - + @@ -1015,7 +1015,7 @@ - + @@ -1062,7 +1062,7 @@ - + @@ -1125,7 +1125,7 @@ - + @@ -1358,9 +1358,9 @@ - + + - @@ -1423,6 +1423,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -1570,7 +1590,7 @@ - + @@ -1652,7 +1672,7 @@ - + @@ -1708,14 +1728,14 @@ - + - + @@ -1740,14 +1760,14 @@ - + - + @@ -1772,7 +1792,7 @@ - + @@ -2367,7 +2387,185 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2645,7 +2843,7 @@ - + @@ -2883,8 +3081,8 @@ - + @@ -2908,7 +3106,7 @@ - + @@ -2930,8 +3128,8 @@ - + @@ -2954,7 +3152,7 @@ - + @@ -2970,8 +3168,8 @@ - + @@ -3045,7 +3243,7 @@ - + @@ -3073,7 +3271,7 @@ - + @@ -3099,7 +3297,7 @@ - + @@ -3375,7 +3573,7 @@ - + @@ -3397,7 +3595,7 @@ - + @@ -3779,7 +3977,7 @@ - + @@ -5583,8 +5781,8 @@ - + @@ -5876,7 +6074,7 @@ - + @@ -5897,7 +6095,7 @@ - +