From 34207ba5097768f5f72fb84cb175bc2f60ceab95 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 28 Sep 2017 15:09:31 +0200 Subject: [PATCH] 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 --- src/core/screen.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/core/screen.c b/src/core/screen.c index 99ab5d7c7..82ad386b2 100644 --- a/src/core/screen.c +++ b/src/core/screen.c @@ -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); }