Device Editor – [...] of the generic device editor [...] in the device editor
in the generic editor [...] on the "Safety" editor dialog [...] the device editor
mechanism uses an editor [...] editor