Sebastian Wick 058981dc12 workspace: Focus the default window only if no window is focused
This might happen when the workspace is not switched and
focus_default_window is called or when 'workspace on primary display
only' is enabled, a secondary display exists and the workspace is
switched.

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2747>
2022-12-17 10:39:02 +00:00
..
2022-12-01 20:10:53 +00:00
2022-12-09 16:28:33 +00:00
2022-12-01 20:10:53 +00:00