Unused variables get a warning editor marker
Merge branch 'master' into unused-warning-marker
remove unsed type & info with gray underline
even cooler dotted info, warning & error underline markers
bck to solid underline for errors and warnings
Merge pull request #2512 from ajaxorg/unused-warning-marker

[Liskov] [Trivial] Unused variables get underline editor marker