Cambiamento di nome a uno spazio di lavoro

1. Puntare sul pulsante dello spazio di lavoro a cui si desidera cambiare nome.

2. Scegliere Rinomina dal menu a scomparsa del pulsante (visualizzato premendo Shift+F10 o il pulsante del mouse 3).

   Il pulsante dello spazio di lavoro si trasformerà in un campo di testo.

3. Inserire il nuovo nome nel campo di testo.

4. Premere Return.