diff --git a/src/core/screen-private.h b/src/core/screen-private.h index 49867f275..7db354420 100644 --- a/src/core/screen-private.h +++ b/src/core/screen-private.h @@ -184,6 +184,7 @@ void meta_screen_workspace_popup_destroy (MetaScreen *screen); void meta_screen_tile_preview_update (MetaScreen *screen, gboolean delay); +void meta_screen_tile_preview_hide (MetaScreen *screen); MetaWindow* meta_screen_get_mouse_window (MetaScreen *screen, MetaWindow *not_this_one); diff --git a/src/core/screen.c b/src/core/screen.c index 1bb0e1c59..9d9ea0d85 100644 --- a/src/core/screen.c +++ b/src/core/screen.c @@ -1843,6 +1843,16 @@ meta_screen_tile_preview_update (MetaScreen *screen, } } +void +meta_screen_tile_preview_hide (MetaScreen *screen) +{ + if (screen->tile_preview_timeout_id > 0) + g_source_remove (screen->tile_preview_timeout_id); + + if (screen->tile_preview) + meta_tile_preview_hide (screen->tile_preview); +} + MetaWindow* meta_screen_get_mouse_window (MetaScreen *screen, MetaWindow *not_this_one)