All DNS Leads To Me

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

Archive for gennaio 2009

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 at 5:41 pm

Pubblicato su Uncategorized