Highlight.getstylename (gb.eval)?

Questo simbolo non esiste.