Manuale utente di Java Desktop System versione 3

Preferenze per il puntatore

La scheda Cursori permette di impostare le preferenze per il puntatore del mouse.

La Tabella 7–17 elenca le preferenze per il puntatore del mouse che è possibile modificare:

Tabella 7–17 Preferenze per il puntatore del mouse

Elemento 

Descrizione  

Piccolo

Selezionare questa opzione per visualizzare un puntatore del mouse di piccole dimensioni. 

Medio

Selezionare questa opzione per visualizzare un puntatore del mouse di medie dimensioni. 

Grande

Selezionare questa opzione per visualizzare un puntatore del mouse di grandi dimensioni. 

Evidenzia il puntatore alla pressione di Ctrl

Selezionare questa opzione per abilitare l'animazione del puntatore del mouse quando si preme e si rilascia il tasto Ctrl. Questa funzione può essere utile per individuare il puntatore del mouse sullo schermo.