gwl: Make sure to scroll to the focused app group on workspace switched

Author: anaximeno

files/usr/share/cinnamon/applets/[email protected]/workspace.js

@@ -15,6 +15,11 @@ class Workspace {
         this.state.connect({
             orientation: (state) => {
                 this.on_orientation_changed(state.orientation);
+            },
+            currentWs: (state) => {
+                if (this.metaWorkspace && state.currentWs === this.metaWorkspace.index()) {
+                    this.scrollToFocusedApp();
+                }
             }
         });
         this.workspaceState = createStore({