support for highlighting in gui