From 85c2aef4bc34aceb295b4c64b31f1aec3fffdd11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= <mail@3v1n0.net>
Date: Thu, 16 May 2019 15:59:41 -0500
Subject: [PATCH] display: Cleanup Edges when display is closed

This could happen if closing the display when dragging a window, unlikely, but
better to use the cleanup function since we have it.

https://gitlab.gnome.org/GNOME/mutter/merge_requests/581
---
 src/core/display.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/display.c b/src/core/display.c
index 1f352d5f2..ae5bc2caf 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -725,7 +725,7 @@ meta_display_open (void)
   display->grab_tile_mode = META_TILE_NONE;
   display->grab_tile_monitor_number = -1;
 
-  display->grab_edge_resistance_data = NULL;
+  meta_display_cleanup_edges (display);
 
   meta_display_init_keys (display);