of the device editor. Tab [...] for the relevant device editor [...] configuration editors option
The device editor tab
editor tab
editor instead
editor when the device
has been changed in the editor