adobe/brackets — pull request #9432 by larz0 (2014-10-03 20:52:14+00:00)
Title: UI Fixes

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