diff options
| author | Carlos Garnacho <carlosg@gnome.org> | 2020-11-17 14:55:14 +0100 |
|---|---|---|
| committer | Marge Bot <marge-bot@gnome.org> | 2020-11-18 19:10:48 +0000 |
| commit | 045181f321bbf5800be59d10e5039ba2eb6f8b36 (patch) | |
| tree | ca7935fbe29a0bc0baeeb6ae5517fce72853b41e /src/core/events.c | |
| parent | 9e894b2e1d86f82c8399956da47be1fe537f4fdf (diff) | |
| download | mutter-045181f321bbf5800be59d10e5039ba2eb6f8b36.tar.gz | |
clutter/main: Drop usage of clutter_input_device_get_device_id()
Just print the name in those debug logs.
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1569>
Diffstat (limited to 'src/core/events.c')
0 files changed, 0 insertions, 0 deletions