change warning highlighting from text selection to gutter marks (white dots to the left of the line number)