robert.mader@collabora.com a94fcee961 overview: Handle unredirection in OverviewShown state machine
Under certain unknown circumstances currently not every
`disable_unredirect_for_display()` gets matched with an
`enable_unredirect_for_display()` when closing the overview.

As we only want to not disable unredirection when hidden and we nowadays
have a state machine that ensures we transition to and from one state to
another only once, handle unredirection en-/disablement as part of the
state transition.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2970>
2023-09-27 11:38:16 +02:00
..
2023-08-09 15:10:38 +00:00
2023-09-15 20:52:14 +03:00
2023-09-09 14:05:27 +02:00
2023-08-06 13:02:49 +02:00
2023-08-06 13:02:49 +02:00
2023-08-09 15:10:38 +00:00
2023-08-09 15:10:38 +00:00
2023-08-31 03:44:32 +00:00
2023-08-10 17:42:23 +00:00
2023-08-25 16:21:03 +00:00
2023-08-06 13:02:49 +02:00
2023-08-31 22:05:32 +00:00
2023-08-09 15:10:38 +00:00
2023-08-09 15:10:38 +00:00
2023-08-10 17:42:23 +00:00
2023-08-09 15:10:38 +00:00
2023-08-06 13:02:49 +02:00
2023-08-10 17:42:23 +00:00
2023-08-09 15:10:38 +00:00
2023-08-10 17:42:23 +00:00
2023-08-10 17:42:23 +00:00
2023-08-31 03:44:32 +00:00
2023-08-10 17:42:23 +00:00
2023-08-31 03:44:32 +00:00