adobe/brackets — pull request #9149 by redmunds (2014-09-17 22:36:03+00:00)
Title: Hide Options button when Working Set hidden

This replaces https://github.com/adobe/brackets/pull/9138.

Issues: #9137, #9143

cc @JeffryBooher