Highlight.getstylename (gb.eval)?

Dieses Symbol existiert nicht.