• Pour modifier le nom d'un raccourci, sélectionnez Options→
Modifier
nom.
Saisissez le nouveau nom. Cette opération ne modifie que le raccourci, et non
le fichier ou l'élément désigné par le raccourci.
Copyright © 2004 Nokia. All rights reserved.
158
