Highlight.getstylename (gb.eval)?

This symbol does not exist.