Manuale utente di Java Desktop System versione 3

Personalizzazione dei pannelli

Per accedere alla finestra di preferenze Pannello, fare clic su Apri, quindi scegliere Preferenze -> Preferenze del desktop -> Pannello.

La finestra di preferenze Pannello permette di configurare il comportamento dei pannelli. Le modifiche apportate nella finestra di preferenze Pannello vengono applicate a tutti i pannelli del desktop.

La Tabella 7–19 elenca le preferenze per i pannelli che è possibile modificare.

Tabella 7–19 Preferenze per i pannelli

Elemento 

Descrizione  

Chiudi cassetto al clic sul pulsante di avvio

Selezionare questa opzione per impostare la chiusura del cassetto quando si sceglie un pulsante di avvio incluso in quel cassetto.  

Animazione per pannelli e cassetti

Selezionare questa opzione se si desidera che i pannelli e i cassetti vengano aperti e chiusi con un'animazione. 

Velocità animazione

Selezionare la velocità dell'animazione del pannello dalla casella di riepilogo a discesa.