* src/pgtkterm.c (pgtk_enumerate_devices): Circumvent bug#76239.

1 files changed, 19 insertions, 5 deletions

diff --git a/src/pgtkterm.c b/src/pgtkterm.c
index 321514fbf79..617ed3c5135 100644
--- a/src/pgtkterm.c
+++ b/src/pgtkterm.c
@@ -181,13 +181,27 @@ pgtk_enumerate_devices (struct pgtk_display_info *dpyinfo,
         {
           rec = xmalloc (sizeof *rec);
           rec->seat = g_object_ref (seat);
-          rec->device = GDK_DEVICE (t1->data);
 
-          snprintf (printbuf, 1026, "%u:%s",
-                    gdk_device_get_source (rec->device),
-                    gdk_device_get_name (rec->device));
+          if (t1->data)
+            {
+              rec->device = GDK_DEVICE (t1->data);
+              snprintf (printbuf, 1026, "%u:%s",
+                        gdk_device_get_source (rec->device),
+                        gdk_device_get_name (rec->device));
+
+              rec->name = build_string (printbuf);
+            }
+          else
+            {
+              /* GTK bug 7737 results in GDK seats being initialized
+                 with NULL devices in some cirumstances.  As events will
+                 presumably also be delivered with their device fields
+                 set to NULL, insert a ersatz device record associated
+                 with NULL.  (bug#76239) */
+              rec->device = NULL;
+              rec->name = build_string ("0:unknown device");
+            }
 
-          rec->name = build_string (printbuf);
           rec->next = dpyinfo->devices;
           dpyinfo->devices = rec;
         }