MiguelCastillo/Brackets-InteractiveLinter — pull request #83 by Mark-Simulacrum (2014-11-04 01:29:10+00:00)
Title: Switch inline widgets to icons instead of text and background color to b...

...etter support dark/light themes.

Please take a look, you are probably the better designer. Unfortunately, I cannot easily post a screenshot, since that is quite difficult for me (requires editing in Photoshop/Gimp).