Change count badge position and notification badge color

Author: fredcw

data/theme/cinnamon-sass/_colors.scss

@@ -18,9 +18,10 @@ $destructive_color: #ff7b63;
 $warning_color: #f8e45c;
 $warning_bg_color: #cd9309;
 
+$notification_bg_color: #ef2591;
+
 $accent_color: #78aeed;
 $accent_bg_color: #3584e4;
-$accent_bg_color_alternative: #d035e4;
 
 $large_icon_color: transparentize($fg_color, 0.6);
 $light_text_color: mix($fg_color, $bg_color, 65%);

data/theme/cinnamon-sass/widgets/_windowlist.scss

@@ -86,7 +86,7 @@
   &-notifications-badge {
     border-radius: 9999px;
     color: $fg_color;
-    background-color: $accent_bg_color_alternative;
+    background-color: $notification_bg_color;
   }
 
   &-notifications-badge-label {

files/usr/share/cinnamon/applets/[email protected]/appGroup.js

@@ -419,8 +419,8 @@ class AppGroup {
         // Set windows badge position
         childBox.x1 = box.x1;
         childBox.x2 = childBox.x1 + this.windowsBadgeLabel.width;
-        childBox.y1 = box.y1;
-        childBox.y2 = childBox.y1 + this.windowsBadge.get_preferred_height(childBox.get_width())[1];
+        childBox.y1 = box.y2 - this.windowsBadge.get_preferred_height(childBox.get_width())[1];
+        childBox.y2 = box.y2;
 
         this.windowsBadge.allocate(childBox, flags);