diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2020-11-17 14:55:14 +0100 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2020-11-17 15:50:53 +0100 |
commit | b30d966eed18cc995226f1fd7a7f4603cc7c8ac2 (patch) | |
tree | 0a30253c0bb3e60068b7f216e98224915488334b | |
parent | dc88ecb9793c46e633c91e4170c4d3cd251331d5 (diff) | |
download | mutter-b30d966eed18cc995226f1fd7a7f4603cc7c8ac2.tar.gz |
clutter/main: Drop usage of clutter_input_device_get_device_id()
Just print the name in those debug logs.
-rw-r--r-- | clutter/clutter/clutter-main.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/clutter/clutter/clutter-main.c b/clutter/clutter/clutter-main.c index c258f676d..0606d2e4a 100644 --- a/clutter/clutter/clutter-main.c +++ b/clutter/clutter/clutter-main.c @@ -1319,9 +1319,9 @@ event_click_count_generate (ClutterEvent *event) previous_button_number = device->previous_button_number; CLUTTER_NOTE (EVENT, - "Restoring previous click count:%d (device:%d, time:%u)", + "Restoring previous click count:%d (device:%s, time:%u)", click_count, - clutter_input_device_get_device_id (device), + clutter_input_device_get_device_name (device), previous_time); } else @@ -1375,9 +1375,9 @@ event_click_count_generate (ClutterEvent *event) if (event->type == CLUTTER_BUTTON_PRESS && device != NULL) { - CLUTTER_NOTE (EVENT, "Storing click count: %d (device:%d, time:%u)", + CLUTTER_NOTE (EVENT, "Storing click count: %d (device:%s, time:%u)", click_count, - clutter_input_device_get_device_id (device), + clutter_input_device_get_device_name (device), previous_time); device->click_count = click_count; |