From 5c7669fa892d7d1f3d177ed2ba7bd95cb91ef6d0 Mon Sep 17 00:00:00 2001
From: Mamoru TASAKA <mtasaka@fedoraproject.org>
Date: Wed, 12 May 2021 23:46:08 +0900
Subject: [PATCH] duplicate_xinput_event_p: show some debug message

---
 driver/xinput.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/driver/xinput.c b/driver/xinput.c
index 8ddb6bf..7e38104 100644
--- a/driver/xinput.c
+++ b/driver/xinput.c
@@ -129,9 +129,14 @@ duplicate_xinput_event_p (XIDeviceEvent *in)
 {
   static unsigned long dups[50] = { 0, };   /* No more than N screens */
   int i;
+  if (debug_p)
+    fprintf(stderr, "%s: serial is %ld\n", blurb(), in->serial);
   for (i = 0; i < countof(dups); i++)
     if (dups[i] == in->serial)
+    {
+      if (debug_p) fprintf(stderr, "%s: serial duplicate with %d\n", blurb(), i);
       return True;
+    }
   for (i = 0; i < countof(dups)-1; i++)
     dups[i] = dups[i+1];
   dups[i] = in->serial;
-- 
2.31.1