adobe/brackets — pull request #8244 by redmunds (2014-06-25 04:23:58+00:00)
Title: Isolated fix for changing height of modal bar with filter picker

This is a temporary, isolated fix for #8242 . This will allow us to post Release 0.41, but we should keep issue #8242 open so that a better fix gets researched.