Add device.get_mapping()
Surprisingly there was no API for this, which made it impossible to make an editor instead of overriding everything in one go.
Surprisingly there was no API for this, which made it impossible to make an editor instead of overriding everything in one go.