7654f1ca3e
The onUngrab callback already checks if all notifications are destroyed and hides immediately if so. Previous code instead would leave state handling in an inconsistent state, by not removing the grab, not setting summaryBoxPointerState to HIDDEN and not disconnecting various signals. https://bugzilla.gnome.org/show_bug.cgi?id=684036