Branding

2026-09-12 14:06:02 -04:00
parent 0e52942b8b
commit 18802cb55d
23 changed files with 459 additions and 39 deletions
@@ -149,8 +149,9 @@ export class SettingsEditor {
    button.connect('clicked', () => { for (const field of fields) { this.setValue(field, field.default); this.rows.get(field.key)?._setValue(field.default); } });
    reset.add_suffix(button); group.add(reset); page.add(group);
  }
-  page(parent, title, groups, iconName, preview = false) {
+  page(parent, title, groups, iconName, preview = false, intro = null) {
    const page = new Adw.PreferencesPage({ title, icon_name: iconName });
+    if (intro) page.add(intro);
    const fields = this.fields.filter(field => groups.includes(field.group));
    this.controls(page, fields, { preview });
    for (const name of groups) {