zaggino/brackets-git — pull request #255 by SAPlayer (2014-03-20 19:30:16+00:00)
Title: Add settings button to the panel

This PR adds a settings button to the panel (again?)