Gedit plugin highlighting spaces at the end of lines