From dec4e7b6f3b5abbf36023b080d2e671b737022b8 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 3 Dec 2024 08:42:47 +0100 Subject: [PATCH] Ensure icon widget icon is loaded correctly; MPS-38010 --- build.xml | 2 + .../models/jetbrains.mps.coderules.build.mps | 48 +++++++++++++++++ .../jetbrains.mps.coderules.ideaplugin.mps | 52 ++++++++++++------- 3 files changed, 82 insertions(+), 20 deletions(-) diff --git a/build.xml b/build.xml index 8aa8f97c..d5a207e5 100644 --- a/build.xml +++ b/build.xml @@ -1969,6 +1969,7 @@ + @@ -3529,6 +3530,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index 6a394720..e93021d8 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -3316,6 +3316,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -3726,6 +3750,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps index 0c442935..c94b3156 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps @@ -12,7 +12,6 @@ - @@ -24,8 +23,6 @@ - - @@ -2294,7 +2291,7 @@ - + @@ -3023,8 +3020,8 @@ - - + + @@ -3219,20 +3216,8 @@ - - - - - - - - - - - - - - + + @@ -3253,6 +3238,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + +