workspace-indicator: Refine preview settings

Add a group title, and change the single switch row to radio rows
to explicitly choose between "Previews" and "Workspace Name".

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/405>

extensions/workspace-indicator/workspacePrefs.js

@@ -22,15 +22,35 @@ class GeneralGroup extends Adw.PreferencesGroup {
     }
 
     constructor(settings) {
-        super();
-
-        const row = new Adw.SwitchRow({
-            title: _('Show Previews'),
+        super({
+            title: _('Indicator'),
         });
-        this.add(row);
+
+        const previewCheck = new Gtk.CheckButton();
+        const previewRow = new Adw.ActionRow({
+            title: _('Previews'),
+            activatable_widget: previewCheck,
+        });
+        previewRow.add_prefix(previewCheck);
+        this.add(previewRow);
+
+        const nameCheck = new Gtk.CheckButton({
+            group: previewCheck,
+        });
+        const nameRow = new Adw.ActionRow({
+            title: _('Workspace Name'),
+            activatable_widget: nameCheck,
+        });
+        nameRow.add_prefix(nameCheck);
+        this.add(nameRow);
+
+        if (settings.get_boolean('embed-previews'))
+            previewCheck.active = true;
+        else
+            nameCheck.active = true;
 
         settings.bind('embed-previews',
-            row, 'active',
+            previewCheck, 'active',
             Gio.SettingsBindFlags.DEFAULT);
     }
 }