save us from horribly slow screen redraws when syntax is on