diff options
author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2019-05-16 15:59:41 -0500 |
---|---|---|
committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2019-05-27 17:14:25 -0500 |
commit | 85c2aef4bc34aceb295b4c64b31f1aec3fffdd11 (patch) | |
tree | 71cb72c308c84a0161f0a2603a9715da26a883b7 | |
parent | 76664ef89193ad9e7194a0d11b4cd27ea10d6a7d (diff) | |
download | mutter-85c2aef4bc34aceb295b4c64b31f1aec3fffdd11.tar.gz |
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
-rw-r--r-- | src/core/display.c | 2 |
1 files changed, 1 insertions, 1 deletions
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); |