🔧 Use high-priority as part of the prpfile name

2023-02-15 13:21:03 +01:00
parent dc7d26e4d7
commit 5b89864f7f
8 changed files with 21 additions and 16 deletions
@@ -420,6 +420,7 @@ class Extension {
      p.settings.connect('changed::profile-color-scheme', () => updatePriority(p));
      p.settings.connect('changed::profile-power-mode', () => updatePriority(p));
      p.settings.connect('changed::profile-power-profile', () => updatePriority(p));
+      p.settings.connect('changed::profile-high-priority', () => updatePriority(p));
    });

    // Sort all profiles initially according to their initial priority.