Manuale utente di Java Desktop System versione 3

Personalizzazione delle finestre

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

La finestra di preferenze Finestre permette di personalizzare il comportamento delle finestre per Java Desktop System.

La Tabella 7–36 elenca le preferenze relative alle finestre che è possibile modificare.

Tabella 7–36 Preferenze per le finestre

Elemento 

Descrizione 

Selezionare le finestre quando il mouse si muove sopra di loro

Selezionare questa opzione per attivare automaticamente la finestra su cui si trova il puntatore del mouse. La finestra resterà attiva finché il puntatore non verrà spostato su un'altra finestra. 

Portare in primo piano le finestre selezionate dopo un intervallo

Selezionare questa opzione per portare le finestre in primo piano poco dopo l'attivazione della finestra. 

Intervallo prima di portare in primo piano

Specificare il tempo di attesa che deve trascorrere prima che la finestra attivata venga portata in primo piano. 

Doppio clic sulla barra del titolo esegue

Selezionare il comportamento desiderato in risposta a un doppio clic sulla barra del titolo delle finestre. Selezionare una delle seguenti opzioni: 

  • Arrotolamento: arrotola la finestra.

  • Ingrandisci: Ingrandisce la finestra.

Per spostare una finestra tener premuto questo tasto mentre la si cattura

Selezionare il tasto da tenere premuto durante il trascinamento per ottenere lo spostamento della finestra.