renumber devices
Posted: Thu Oct 06, 2011 2:02 pm
I have to renumber my devices (for example, device 4 have to be changed into 6). I know this is possible by selecting al the gates that have to be changed. But my question is: is there a possibility to rename the devices at once, without selecting them one by one?