gnome-shell/0001-panel-Use-branding-in-activities-button.patch

From c0b2f60108e7b8cffa10306ef54c620fe71a6735 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 22 May 2024 18:42:06 +0200
Subject: [PATCH] panel: Use branding in activities button

Replace the upstream workspace dots with a red hat.
---
 data/theme/gnome-shell-sass/widgets/_panel.scss |  5 +++++
 js/ui/panel.js                                  | 10 +++++++++-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss
index 2a29eee9da..02f8232de6 100644
--- a/data/theme/gnome-shell-sass/widgets/_panel.scss
+++ b/data/theme/gnome-shell-sass/widgets/_panel.scss
@@ -58,6 +58,11 @@ $panel_transition_duration: 250ms; // same as the overview transition duration
         min-height: $scalable_icon_size * 0.5;
         background-color: $panel_fg_color;
       }
+
+      & .activities-logo {
+        icon-size: $scalable_icon_size * 1.25;
+        padding: 0 $base_padding;
+      }
     }
 
     // screen activity indicators
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 62c8ebb31a..1d11cc1b5f 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -425,7 +425,15 @@ class ActivitiesButton extends PanelMenu.Button {
             accessible_name: _('Activities'),
         });
 
-        this.add_child(new WorkspaceIndicators());
+        if (GLib.get_os_info('ID') === 'almalinux') {
+            const logoIcon = new St.Icon({
+                icon_name: 'fedora-logo-icon',
+                style_class: 'activities-logo',
+            });
+            this.add_child(logoIcon);
+        } else {
+            this.add_child(new WorkspaceIndicators());
+        }
 
         Main.overview.connectObject('showing',
             () => this.add_style_pseudo_class('checked'),
-- 
2.45.2