1. 2017-01-15 Re: customize highlighting kwrite-de Philipp A. 2. 2017-01-13 customize highlighting kwrite-de Guido Giuntoli