forked from rpms/gnome-shell
51 lines
1.7 KiB
Diff
51 lines
1.7 KiB
Diff
From 7db2b70f7801813e22c444c118df2a95add3eb6f Mon Sep 17 00:00:00 2001
|
|
From: =?UTF-8?q?Javier=20Hern=C3=A1ndez=20Ant=C3=BAnez?=
|
|
<javi@almalinux.org>
|
|
Date: Mon, 19 May 2025 17:33:52 +0200
|
|
Subject: [PATCH] panel: Use branding in activities button
|
|
|
|
---
|
|
data/theme/gnome-shell-sass/widgets/_panel.scss | 5 +++++
|
|
js/ui/panel.js | 9 ++++++++-
|
|
2 files changed, 13 insertions(+), 1 deletion(-)
|
|
|
|
diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss
|
|
index 2a29eee9d..02f8232de 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 b8d05634c..dfdb07a98 100644
|
|
--- a/js/ui/panel.js
|
|
+++ b/js/ui/panel.js
|
|
@@ -423,7 +423,14 @@ class ActivitiesButton extends PanelMenu.Button {
|
|
accessible_name: _('Activities'),
|
|
});
|
|
|
|
- this.add_child(new WorkspaceIndicators());
|
|
+ const box = new St.BoxLayout({ vertical: false });
|
|
+ const logoIcon = new St.Icon({
|
|
+ icon_name: 'fedora-logo-icon',
|
|
+ style_class: 'activities-logo',
|
|
+ });
|
|
+ box.add_child(logoIcon);
|
|
+ box.add_child(new WorkspaceIndicators());
|
|
+ this.add_child(box);
|
|
|
|
Main.overview.connectObject('showing',
|
|
() => this.add_style_pseudo_class('checked'),
|
|
--
|
|
2.47.1
|
|
|