core: Free clipboard selection source on shutdown

The clipboard manager is the only code to ever set the display selection
source, so it should also be responsible for unsetting it when the
clipboard manager gets shut down.

https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1293

(cherry picked from commit 019643bad081f7a29119a99ca5ecbc5c2ba3ee56)
This commit is contained in:
Sebastian Keller 2020-06-05 19:38:23 +02:00 committed by Robert Mader
parent ef848f10d1
commit bb4bd4b5c0

View File

@ -171,6 +171,7 @@ meta_clipboard_manager_shutdown (MetaDisplay *display)
{ {
MetaSelection *selection; MetaSelection *selection;
g_clear_object (&display->selection_source);
g_clear_pointer (&display->saved_clipboard, g_bytes_unref); g_clear_pointer (&display->saved_clipboard, g_bytes_unref);
g_clear_pointer (&display->saved_clipboard_mimetype, g_free); g_clear_pointer (&display->saved_clipboard_mimetype, g_free);
selection = meta_display_get_selection (display); selection = meta_display_get_selection (display);