of the device editor. Tab [...] for the relevant device editor [...] , in the Device editor category
the device editor [...] the device editor
in the device editor
editor of the Ether
has been changed in the editor