delayed highlighting like those in big IDEs