🔧 Support multiple apps per profile

2023-02-08 10:33:03 +01:00
parent 3020fec2bc
commit dd5801c0f7
2 changed files with 28 additions and 8 deletions
@@ -490,7 +490,11 @@ class Extension {
        // If that was the case, we also check the application name.
        if (matches && profileApp != '') {
          const app = actor.meta_window.get_wm_class().toLowerCase();
-          matches   = app == profileApp.toLowerCase();
+
+          // Split app names at |, remove any whitespace, and transform to lower case.
+          const profileApps =
+            profileApp.split('|').map(item => item.trim().toLowerCase());
+          matches = profileApps.includes(app);
        }

        // If the profile is still matching, we also check the color scheme.