DeviceManager.get_core_device(InputDeviceType.KEYBOARD_DEVICE) returns null after hotplug
This was originally reported against mutter: GNOME/mutter#799
But I think it's likely a clutter bug.
This was originally reported against mutter: GNOME/mutter#799
But I think it's likely a clutter bug.