All DNS Leads To Me

Nome: $:whoami _ Nato il: $:uptime _ Residenza: $:hostname _ Segni particolari: ‘uname -a’

Digitazione caratteri UNICODE in ambiente GTK

leave a comment »

E’ possibile digitare  da tastiera qualsiasi carattere UNICODE nei programmi che fanno uso delle librerie GTK (quindi tutto GNOME, tra le altre cose) usando questa combinazione di tastiera:

CTRL + SHIFT + U

a questo punto comparirà una u sottolineata. Ora bisogna digitare il codice esadecimale del carattere UNICODE desiderato, tipo 03b2 per la lettera β dell’alfabeto greco (che io ho appena digitato usando questo stesso metodo =D ). Il carattere sostituirà la stringa sottolineata u03b2 premendo spazio o invio.

Per conoscere il codice UNICODE del carattere desiderato si può consultare la vecchia, buona mappa caratteri oppure trovare una lista onnicomprensiva.

Written by stefanauss

gennaio 5, 2009 a 5:41 pm

Pubblicato su Uncategorized

Lascia un commento

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...

%d blogger cliccano Mi Piace per questo: