screen: Unset timeout ID after removal

Otherwise we may try to remove the now invalid ID again, resulting
in a warning.

https://bugzilla.gnome.org/show_bug.cgi?id=788292
This commit is contained in:
Florian Müllner 2017-09-28 15:09:31 +02:00
parent 6dc499f305
commit 34207ba509

View File

@ -1480,6 +1480,7 @@ meta_screen_hide_tile_preview (MetaScreen *screen)
{
if (screen->tile_preview_timeout_id > 0)
g_source_remove (screen->tile_preview_timeout_id);
screen->tile_preview_timeout_id = 0;
meta_compositor_hide_tile_preview (screen->display->compositor);
}