mutter

brl/mutter

History

Marco Trevisan (Treviño) 427670cc63 device-manager-x11: Ignore events if no source device is set

There might be some inconsistent event for which we don't have a known
source device.

In the current state we don't handle them and we could crash when getting
the current device tool.

So, add an utility function that retrieves the source device for an event
that warns if no device is found, and use this for Motion, Key and Button
events.

In case we don't have a valid source in such case, just return early instead
of trying to generate invalid clutter events.

https://gitlab.gnome.org/GNOME/mutter/merge_requests/823

2019-11-23 01:38:16 +00:00

backends

device-manager-x11: Ignore events if no source device is set

2019-11-23 01:38:16 +00:00

compositor

background: set_file accepts NULL files

2019-11-22 22:13:35 +00:00

core

window: Assert we have an up to date monitor after they changed

2019-11-23 00:58:19 +00:00

meta

Allow changing Clutter debug flags at runtime