Jonas Dreßler d7185d71c6 windowManager: Clean up starting of size-change animations a bit
We can do without having two calls to shellwm.completed_size_change() in
there, so use an early return for all cases.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1251
2020-06-15 13:12:03 +00:00
..
2020-06-03 12:55:53 -03:00
2020-05-20 15:12:03 +02:00
2020-04-06 11:24:30 -03:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-06-06 01:04:09 +02:00
2020-06-03 12:55:53 -03:00
2020-06-09 16:14:30 -03:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-06-03 12:55:53 -03:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00