46 lines
1.5 KiB
Diff
46 lines
1.5 KiB
Diff
From 7f183e4aaa76d581e773fa415e5bcd9e5e54b3cd Mon Sep 17 00:00:00 2001
|
|
From: =?UTF-8?q?Javier=20Hern=C3=A1ndez=20Ant=C3=BAnez?=
|
|
<javi@almalinux.org>
|
|
Date: Tue, 20 May 2025 01:04:03 +0200
|
|
Subject: [PATCH] panel: Bring the upstream workspace dots back
|
|
|
|
The activities button now includes both the icon and the workspace
|
|
indicators.
|
|
|
|
Also, remove the distribution id check.
|
|
---
|
|
js/ui/panel.js | 17 ++++++++---------
|
|
1 file changed, 8 insertions(+), 9 deletions(-)
|
|
|
|
diff --git a/js/ui/panel.js b/js/ui/panel.js
|
|
index 5e19203be..314c839a1 100644
|
|
--- a/js/ui/panel.js
|
|
+++ b/js/ui/panel.js
|
|
@@ -423,15 +423,14 @@ class ActivitiesButton extends PanelMenu.Button {
|
|
accessible_name: _('Activities'),
|
|
});
|
|
|
|
- if (GLib.get_os_info('ID') === 'rhel') {
|
|
- const logoIcon = new St.Icon({
|
|
- icon_name: 'fedora-logo-icon',
|
|
- style_class: 'activities-logo',
|
|
- });
|
|
- this.add_child(logoIcon);
|
|
- } else {
|
|
- 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
|
|
|