adobe/brackets — pull request #9437 by larz0 (2014-10-03 22:08:28+00:00)
Title: UI Fixes

- Fixed #9404
- Fixed #9359
- Made dark theme highlight less obnoxious