Highlight.getstylename (gb.eval)?

Этот символ не существует.