Changed the way whitespaces are highlighted; disabled the removal of trailing whitespaces on save