rpms/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Releases Activity

Make workspace names more prominent

Browse Source 
Resolves: https://issues.redhat.com/browse/RHEL-84268
This commit is contained in:
Florian Müllner 2025-06-17 21:25:42 +02:00
parent 0e626f2db1
commit 7448ab74a8
No known key found for this signature in database
2 changed files with 2298 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gnome-shell-extensions.spec
View File

@ -40,6 +40,8 @@ Patch: window-list-reordering.patch
Patch: heads-up-display-from-file.patch
Patch: improve-workspace-names.patch
%description
GNOME Shell Extensions is a collection of extensions providing additional and
optional functionality to GNOME Shell.

2296
improve-workspace-names.patch Normal file
View File

File diff suppressed because it is too large Load Diff