After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 770491 - Critical error "Source ID was not found when attempting to remove it"
Critical error "Source ID was not found when attempting to remove it"
Status: RESOLVED FIXED
Product: gnome-games
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Games maintainers
GNOME Games maintainers
Depends on:
Blocks:
 
 
Reported: 2016-08-27 20:04 UTC by Adrien Plazas
Modified: 2016-08-27 20:21 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
ui: Fix "Source ID was not found when attempting to remove it" (1.78 KB, patch)
2016-08-27 20:08 UTC, Adrien Plazas 		committed Details | Review

Description Adrien Plazas 2016-08-27 20:04:30 UTC 
When leaving the fullscreen mode with the fullscreen header bar visible similar messages appear: GLib-CRITICAL **: Source ID 28928 was not found when attempting to remove it
Comment 1 Adrien Plazas 2016-08-27 20:08:10 UTC 
Created attachment 334282 [details] [review]
ui: Fix "Source ID was not found when attempting to remove it"

Reset the fullscreen activity source ID after removing it to avoid
trying to remove it several times.
Comment 2 Adrien Plazas 2016-08-27 20:21:52 UTC 
Attachment 334282 [details] pushed as 802505d - ui: Fix "Source ID was not found when attempting to remove it"