9feda69888
When we had a filtered set of windows, and want to exit the overview into a particular window, what we do is re-show all the old windows first, but don't reset the scaling on them. This will involve some overlapping, but that's not a big deal because we'll immediately get overlap anyways in the normal case zooming the windows back. https://bugzilla.gnome.org/show_bug.cgi?id=594699