diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2017-09-28 15:09:31 +0200 |
|---|---|---|
| committer | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2017-09-30 01:21:17 +0300 |
| commit | 0e569d311556894d30c9677a73954590784083b9 (patch) | |
| tree | 8076dfafec6249e9bdcabf34814039f858539561 | |
| parent | 850454563606c026398eed19437ae8d49f11f9ac (diff) | |
| download | metacity-0e569d311556894d30c9677a73954590784083b9.tar.gz | |
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
| -rw-r--r-- | src/core/screen.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/screen.c b/src/core/screen.c index ccd26c9c..52afaf9a 100644 --- a/src/core/screen.c +++ b/src/core/screen.c @@ -1436,6 +1436,7 @@ meta_screen_tile_preview_hide (MetaScreen *screen) { if (screen->tile_preview_timeout_id > 0) g_source_remove (screen->tile_preview_timeout_id); + screen->tile_preview_timeout_id = 0; if (screen->tile_preview) meta_tile_preview_hide (screen->tile_preview); |