bc178b711f
Transitions are used for animating actors when e.g. going from/to fullscreen, and the like. We need to know such things when deciding whether to avoid compositing a window actor, so make add API visible to mutter that checks whether there are any transitions active. https://gitlab.gnome.org/GNOME/mutter/merge_requests/798