[mutter] display: Cleanup Edges when display is closed
- From: Marco Trevisan <marcotrevi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [mutter] display: Cleanup Edges when display is closed
- Date: Mon, 27 May 2019 22:31:59 +0000 (UTC)
commit 85c2aef4bc34aceb295b4c64b31f1aec3fffdd11
Author: Marco Trevisan (TreviƱo) <mail 3v1n0 net>
Date: Thu May 16 15:59:41 2019 -0500
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);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]