From 99907ec111e5ece00ff7ffba5dc6172888ea23f6 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 4 Jul 2022 16:58:41 +0200 Subject: [PATCH] Fix how CR widget looks (more professional look) --- ...s.mps.coderules.typechecking.ui.plugin.mps | 29 +- .../models/plugin.mps | 308 +++++++++++++++--- 2 files changed, 289 insertions(+), 48 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 9ba29ab6..6000d32b 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 @@ -5262,7 +5262,7 @@ - + @@ -5287,6 +5287,25 @@ + + + + + + + + + + + + + + + + + + + @@ -5311,7 +5330,7 @@ - + @@ -5340,8 +5359,8 @@ - - + + @@ -5397,7 +5416,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 9185ba90..ec34b8ed 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -494,6 +494,7 @@ + @@ -24338,6 +24339,14 @@ + + + + + + + + @@ -24356,7 +24365,43 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -24400,6 +24445,14 @@ + + + + + + + + @@ -24517,6 +24570,24 @@ + + + + + + + + + + + + + + + + + + @@ -24674,6 +24745,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -24688,8 +24785,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -24706,8 +24823,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -24812,32 +24949,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -24845,23 +24956,114 @@ - - + + + + + + + + + + + + - - + + + + + + + + + + + + - - + + + + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -24985,14 +25187,34 @@ - - + + + + + + + + + + + + - - + + + + + + + + + + + +