DesktopIntegration: Emit windows changed on workspace changed

leolost2605 · leolost2605 · commit e7a27af90581 · 2024-09-18T19:15:32.000+02:00
The indicators of the dock change appearance depending on whether windows
are on the current workspace or another so we have to update it when the workspace
changes.
diff --git a/src/DesktopIntegration.vala b/src/DesktopIntegration.vala
@@ -24,6 +24,7 @@ public class Gala.DesktopIntegration : GLib.Object {
     public DesktopIntegration (WindowManagerGala wm) {
         this.wm = wm;
         wm.window_tracker.windows_changed.connect (() => windows_changed ());
+        wm.get_display ().get_workspace_manager ().active_workspace_changed.connect (() => windows_changed ());
     }
 
     public RunningApplication[] get_running_applications () throws GLib.DBusError, GLib.IOError {

Original file line number	Diff line number	Diff line change
`@@ -24,6 +24,7 @@ public class Gala.DesktopIntegration : GLib.Object {`
`24`	`24`	`public DesktopIntegration (WindowManagerGala wm) {`
`25`	`25`	`this.wm = wm;`
`26`	`26`	`wm.window_tracker.windows_changed.connect (() => windows_changed ());`
	`27`	`+ wm.get_display ().get_workspace_manager ().active_workspace_changed.connect (() => windows_changed ());`
`27`	`28`	`}`
`28`	`29`
`29`	`30`	`public RunningApplication[] get_running_applications () throws GLib.DBusError, GLib.IOError {`