From 832cf0fc84c3a867ff6b0a55dab7a3ee794287c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 11 Oct 2024 12:31:36 +0200
Subject: [PATCH] workspace-indicator: Set title and icon on prefs page

The window-list extension will add the workspace prefs as
additional page, so it needs a title and icon for the
view switcher.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/344>
---
 extensions/workspace-indicator/workspacePrefs.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/extensions/workspace-indicator/workspacePrefs.js b/extensions/workspace-indicator/workspacePrefs.js
index 95537bc7..6103d4d3 100644
--- a/extensions/workspace-indicator/workspacePrefs.js
+++ b/extensions/workspace-indicator/workspacePrefs.js
@@ -222,7 +222,10 @@ export class WorkspacesPage extends Adw.PreferencesPage {
     }
 
     constructor(settings) {
-        super();
+        super({
+            title: _('Workspaces'),
+            icon_name: 'view-grid-symbolic',
+        });
 
         this.add(new GeneralGroup(settings));
         this.add(new WorkspacesGroup());