prefs: Wire the Pin Mode toggle and the Indicators page

The schema, the overflow manager and the Indicators page are
in place but completely unreachable from the UI until the
preferences window registers them. Add the new Pin Mode switch
on the General page and instantiate the Indicators page next to
the existing General and Custom Icon pages so the user can
turn the feature on and pick which icons to hide.

Also expose the new GSettings keys (`pin-mode-enabled`,
`hidden-icons`, `known-indicators`) through the `SettingsKey`
constants table so the preferences pages don't have to repeat
the raw key names.

Author: elkh510

preferences/generalPage.js

@@ -92,6 +92,19 @@ class AppIndicatorGeneralPage extends Adw.PreferencesPage {
             round: true,
         });
 
+        const pinModeSwitch = new Adw.SwitchRow({
+            title: _('Pin Mode'),
+            subtitle: _('Right-click indicators to hide them '
+                + 'into the overflow menu'),
+            active: this._settings.get_boolean(
+                this._settingsKey.PIN_MODE_ENABLED),
+        });
+        pinModeSwitch.connect('notify::active', widget =>
+            this._settings.set_boolean(
+                this._settingsKey.PIN_MODE_ENABLED,
+                widget.get_active()));
+        this.group.add(pinModeSwitch);
+
         const alignmentList = new Gtk.StringList();
         const comboItems = [
             {pos: 'center', label: _('Center')},

prefs.js

@@ -6,6 +6,7 @@ import Gtk from 'gi://Gtk';  // will be removed
 import Gdk from 'gi://Gdk';
 import * as GeneralPreferences from './preferences/generalPage.js';
 import * as CustomIconPreferences from './preferences/customIconPage.js';
+import * as IndicatorPreferences from './preferences/indicatorPage.js';
 
 import {
     ExtensionPreferences,
@@ -22,6 +23,9 @@ const SettingsKey = {
     ICON_CONTRAST: 'icon-contrast',
     TRAY_POS: 'tray-pos',
     CUSTOM_ICONS: 'custom-icons',
+    PIN_MODE_ENABLED: 'pin-mode-enabled',
+    HIDDEN_ICONS: 'hidden-icons',
+    KNOWN_INDICATORS: 'known-indicators',
 };
 
 export default class DockPreferences extends ExtensionPreferences {
@@ -34,9 +38,11 @@ export default class DockPreferences extends ExtensionPreferences {
         const settings = this.getSettings();
         const generalPage = new GeneralPreferences.GeneralPage(settings, SettingsKey);
         const customIconPage = new CustomIconPreferences.CustomIconPage(settings, SettingsKey);
+        const indicatorPage = new IndicatorPreferences.IndicatorPage(settings, SettingsKey);
 
         window.add(generalPage);
         window.add(customIconPage);
+        window.add(indicatorPage);
 
         window.connect('close-request', () => {
             window.destroy();