adobe/brackets — pull request #9435 by larz0 (2014-10-03 21:36:06+00:00)
Title: UI Fixes

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