gdk:device-name (object)

object -- a gdk:device object
name -- a string for the name of the device

The accessor for the name slot of the gdk:device class determines the name of the device, suitable for showing in a user interface.