After selecting the pencil icon next to the name of the device the basic device editor will popup.
With this editor, the name and the tags of the device can be modified. To close the tool and save the changes use the “Save” button or use the “Cancel” button to close the tool and discard the changes.