marijnh/CodeMirror — pull request #1806 by mattpass (2013-09-05 17:27:05+00:00)
Title: Better lint icons and in fewer bytes

Original error & warning icons had jagged edges due to being GIFs
This made them look quite poor/low quality on dark BG'd themes
So, new, better looking icons added which have been run thru TinyPNG for
compression
Result is fewer bytes than original and they look good on dark BG's too