Manuale utente di Java Desktop System versione 3

Assegnare un nome alle aree di lavoro

I nomi predefiniti per le aree di lavoro sono Area di lavoro 1, Area di lavoro 2, Area di lavoro 3, ecc. Per assegnare nomi di propria scelta alle aree di lavoro, fare clic con il pulsante destro del mouse sull'applet Selettore aree di lavoro e scegliere Preferenze. Viene aperta la finestra di dialogo Preferenze del Selettore aree di lavoro. Usare la casella di riepilogo Nomi delle aree di lavoro per specificare i nomi delle aree di lavoro. Selezionare un'area di lavoro e digitare il nuovo nome desiderato.