Aggiornamento del 18 dicembre 2023: con la versione 2 di AutoHotKey la sintassi è leggermente cambiata. Fai attenzione alla nota nel testo.
Dopo una decina di anni di uso di Linux anche come desktop ho ricominciato ad usare Windows come desktop {solo come desktop! La maggior parte dei miei progetti continua ad essere in ambiente Linux tramite WSL}.
Nel normale uso di un editor di testo ci sono due punti in cui ancora Windows 10 è rimasto un po’ carente:
- nell’inserimento delle lettere accentate maiuscole (ad esempio la È) nei testi in italiano
- nella possibilità di usare caratteri speciali come ~ (tilde) o ` (backtick o apice rovesciato) specialmente nelle sessioni Linux.
Se disponiamo di una tastiera con tastierino numerico possiamo sempre usare la combinazione di tasti ALT + <codice numerico del carattere> per inserire il carattere che desideriamo ma se la tastiera non prevede tastierino numerico come si fa?
Continua a leggere Come ottenere lettere accentate e caratteri speciali senza tastierino numerico su Windows 10