Highlight.getstylename (gb.eval)?

Este símbolo no existe.