Sebastian Keller 019643bad0 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
2020-06-08 12:11:11 +00:00
..
2019-03-12 00:27:07 +00:00
2019-03-12 00:27:07 +00:00
2018-11-06 17:17:36 +01:00
2020-05-26 16:35:00 +02:00
2018-11-06 17:17:36 +01:00
2018-11-06 17:17:36 +01:00
2020-04-16 15:05:52 +02:00
2020-05-21 23:10:23 +00:00