4e1492c926
Dispose the Source Object when dispose() is called, avoiding that it could be called twice on a destroyed Source. So, notify count changes before destroying the object, and don't emit this twice on destroyNonResidentNotifications (as if a notification is destroyed the property notify will happen in the notification destroy callback anyways). https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/559