Originariamente inviato da Luc@s
E un problema di colorazione.
Ora è a posto.

L'ultima vers si trova qui

Ditemi se è ok
sempre sotto java, non sono visualizzati i caratteri non alfanumerici (parentesi, operatori aritmetici...), inoltre non si riesce ad indentare con il tasto tab che sembra disabilitato,

ciao.