Make workspace names more prominent

Resolves: https://issues.redhat.com/browse/RHEL-96219

gnome-shell-extensions.spec

@@ -6,7 +6,7 @@
 
 Name:           gnome-shell-extensions
 Version:        3.32.1
-Release:        42%{?dist}
+Release:        43%{?dist}
 Summary:        Modify and extend GNOME Shell functionality and behavior
 
 Group:          User Interface/Desktops
@@ -63,6 +63,7 @@ Patch0034:         0001-desktop-icons-Fix-k-in-.desktop-files.patch
 Patch0035:         window-list-attention-indicator.patch
 Patch0036:         apps-menu-custom-layout-manager.patch
 Patch0037:         dash-to-panel-attention-indicator.patch
+Patch0038:         improve-workspace-names.patch
 
 %description
 GNOME Shell Extensions is a collection of extensions providing additional and
@@ -574,9 +575,14 @@ cp $RPM_SOURCE_DIR/gnome-classic.desktop $RPM_BUILD_ROOT%{_datadir}/xsessions
 
 %files -n %{pkg_prefix}-workspace-indicator
 %{_datadir}/gnome-shell/extensions/workspace-indicator*/
+%{_datadir}/glib-2.0/schemas/org.gnome.shell.extensions.workspace-indicator.gschema.xml
 
 
 %changelog
+* Wed Jul 16 2025 Florian Müllner <fmuellner@redhat.com> - 3.32.1-43
+- Make workspace names more prominent
+  Resolves: RHEL-96219
+
 * Tue May 06 2025 Florian Müllner <fmuellner@redhat.com> - 3.32.1-42
 - Indicate urgency-hint in dash-to-panel
   Resolves: RHEL-76834